Search results

Release artifacts (models, dataset) on Hugging Face

Status: Open.

#292 In trishullab/PutnamBench;

· NielsRogge opened on Jul 6, 2025

Fix 2013 A5

Status: Open.

#277 In trishullab/PutnamBench;

· GeorgeTsoukalas opened on Mar 30, 2025

Feature request: include the original problem descriptions in docstrings for the theorem statements

Status: Open.

#196 In trishullab/PutnamBench;

· eric-wieser opened on Aug 6, 2024

Proposal: Use sigma types with partial proofs for solution witnesses

Status: Open.

#195 In trishullab/PutnamBench;

· LasseBlaauwbroek opened on Aug 6, 2024

MathComp Analysis and idiomatic Coq formalizations

Status: Open.

#192 In trishullab/PutnamBench;

· palmskog opened on Aug 3, 2024