Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics
No Plans for the Weekend? Learn Raytracing!
hackaday.comยท1d
Structure Transfer: an Inference-Based Calculus for the Transformation of Representations
arxiv.orgยท4d
Transition of car-based human-mobility in the pandemic era: Data insight from a cross-border region in Europe
arxiv.orgยท9h
Towards Reasoning for PDE Foundation Models: A Reward-Model-Driven Inference-Time-Scaling Algorithm
arxiv.orgยท4d
The Impact of Critique on LLM-Based Model Generation from Natural Language: The Case of Activity Diagrams
arxiv.orgยท4d
Loading...Loading more...