Z. Ariola

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

Zena M. Ariola (1)P. Downen (1)Paul Downen (1)Hugo Herbelin (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

Z. Ariola

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)