[QA] Language Models as Compilers: Simulating Pseudocode Execution Improves Reasoning in LLMs
[short] Language Models as Compilers: Simulating Pseudocode Execution Improves Reasoning in LLMs
Getting Started with Arxiv
Logic of Computing with Continuous Data
arxiv preprint - Language Models can be Logical Solvers
[short] Premise Order Matters in Reasoning with Large Language Models
Arxiv 2021: multi task pnp plus localization
[full] Contrastive Decoding Improves Reasoning in Large Language Models
AI-Assisted Generation of Difficult Math Questions - ArXiv:2407.21009
Is Programming by Example solved by LLMs?
Unexplainability of Artificial Intelligence Judgments in Kant's Perspective - ArXiv:2407
[QA] Towards a Theoretical Understanding of the `Reversal Curse' via Training Dynamics
Textbooks Are All You Need
2021 ICRA Presentation on Reinforcement Learning and Tempora Logic
GPT-4: The Perfect MIT Mathematics Graduate (pure Logic?)
ASU CSE 259 Logic in Computer Science (2019 Spring) Lecture 17
Resource-compact time-optimal quantum computation - ArXiv:2405.00191
Convergent finite elements on arbitrary meshes, the WG method - ArXiv:2407.19382
Chip Placement with Diffusion