Jacob Neumann

According to our database, Jacob Neumann authored at least 3 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

A Judgmental Construction of Directed Type Theory.

Jacob Neumann

CoRR, October, 2025

2024

Synthetic 1-Categories in Directed Type Theory.

Jacob Neumann, Thorsten Altenkirch

Proceedings of the 30th International Conference on Types for Proofs and Programs, 2024

2022

Implementation of a practical Markov chain Monte Carlo sampling algorithm in PyBioNetFit.

Jacob Neumann, Yen Ting Lin, Abhishek Mallela, Ely F. Miller, Joshua Colvin, Abell T. Duprat, Ye Chen, William S. Hlavacek, Richard G. Posner

Bioinform., 2022