Hugo Herbelin

Université Paris Cité, Inria, CNRS, IRIF

Papers on Lattice

Total citations

Topics

h-index

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)Reasoning & Chain-of-Thought (1)

Frequent co-authors

Z. Ariola (1)Zena M. Ariola (1)P. Downen (1)Paul Downen (1)

Papers (1)

Mar 4, 2026

1w ago

Proving and Computing: The Infinite Pigeonhole Principle and Countable Choice

Corecursion plus classical control yields surprisingly elegant and terminating implementations of mathematical principles like the Infinite Pigeonhole Principle and Axiom of Countable Choice.

Z. Ariola, Zena M. Ariola, P. Downen +2

Code Generation & Program Synthesis Reasoning & Chain-of-Thought

Search

Hugo Herbelin

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)