Picture for Lachlan McGinness

Lachlan McGinness

CON-FOLD -- Explainable Machine Learning with Confidence

Add code
Aug 14, 2024
Viaarxiv icon

Automated Theorem Provers Help Improve Large Language Model Reasoning

Add code
Aug 07, 2024
Viaarxiv icon