Interactive Proving, Tactic Composition, Proof Automation, Mathlib
My ed(1) Toolbox
aartaka.me·1d
Completing the Simulation
gbstudiocentral.com·2d
PeTTO: Leveraging GPUs to Accelerate Topology Optimization with the Pseudo-Transient Methods
arxiv.org·16h
From Tokens to Theorems: Building a Neuro-Symbolic AI Mathematician
towardsdatascience.com·2d
From Digital Distrust to Codified Honesty: Experimental Evidence on Generative AI in Credence Goods Markets
arxiv.org·1d
Exploring approaches to computational representation and classification of user-generated meal logs
arxiv.org·1d
FAQ: How To Start a Homeschool Math Club
denisegaskins.com·7h
Loading...Loading more...