bibliographer - Thibault Gauthier

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

A Mathematical Benchmark for Inductive Theorem Provers Thibault Gauthier Chad E. Brown Mikolas Janota Josef Urban [github]

Alien Coding Thibault Gauthier Miroslav Olšák Josef Urban [github]

Deep Reinforcement Learning for Synthesizing Functions in Higher-Order Logic Thibault Gauthier [github]

Aligning concepts across proof assistant libraries Thibault Gauthier Cezary Kaliszyk [github]

Library Size: 13G (4 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]