Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics
What I Like
bencornia.com·11h
You Can Catch the Signs of a Eureka Moment Right Before It Explodes in Your Brain
popularmechanics.com·5h
Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring
arxiv.org·2d
Heterogeneous LLM Methods for Ontology Learning (Few-Shot Prompting, Ensemble Typing, and Attention-Based Taxonomies)
arxiv.org·13h
Some thoughts on LLMs and Software Development
martinfowler.com·3h
Aggregate Fictitious Play for Learning in Anonymous Polymatrix Games (Extended Version)
arxiv.org·13h
Latent Self-Consistency for Reliable Majority-Set Selection in Short- and Long-Answer Reasoning
arxiv.org·1d
Loading...Loading more...