PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·2d
💻Programming languages
How the Rise of Tabular Foundation Models Is Reshaping Data Science
towardsdatascience.com·8h
🧠Machine Learning
h1: Bootstrapping LLMs to Reason over Longer Horizons via Reinforcement Learning
arxiv.org·17h
✓Automated Theorem Proving
Less Is More: Recursive Reasoning with Tiny Networks
github.com·1d·
Discuss: Hacker News
📊Quantization
[D] Anyone using smaller, specialized models instead of massive LLMs?
reddit.com·10h·
Discuss: r/MachineLearning
💻Local LLMs
Aligning Large Language Models via Fully Self-Synthetic Data
arxiv.org·17h
🔗Monadic Parsing
Defeating Return Type Polymorphism
philipphagenlocher.de·1d·
Discuss: Hacker News
🧬Functional Programming
Comparing human and language models sentence processing difficulties on complex structures
arxiv.org·17h
🔗Parser Combinators
Beyond Transformers: Can MLPs Unlock the Potential of In-Context Learning?
dev.to·2d·
Discuss: DEV
🤖Grammar Induction
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·2d
⚡Proof Automation
Show HN: I built a local AI agent desk toy
blog.simone.computer·1d·
Discuss: Hacker News
🎙️Whisper
Instructional Goal-Aligned Question Generation for Student Evaluation in Virtual Lab Settings: How Closely Do LLMs Actually Align?
arxiv.org·17h
🧮Prolog Parsing
LoRA Explained: Faster, More Efficient Fine-Tuning with Docker
docker.com·8h
💻Local LLMs
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·6h·
Discuss: Lobsters, Hacker News
🧮Algebraic Datatypes
Why Low-Precision Transformer Training Fails: An Analysis on Flash Attention
huggingface.co·13h·
Discuss: Hacker News
📊Learned Metrics
RND1: Simple, Scalable AR-to-Diffusion Conversion
radicalnumerics.ai·1h·
Discuss: Hacker News
💻Local LLMs
On the Pure Quantum Polynomial Hierarchy and Quantified Hamiltonian Complexity
arxiv.org·17h
⚛️Quantum Algorithms
Valid Stopping for LLM Generation via Empirical Dynamic Formal Lift
arxiv.org·17h
💻Programming languages
MultiCNKG: Integrating Cognitive Neuroscience, Gene, and Disease Knowledge Graphs Using Large Language Models
arxiv.org·17h
🧠Intelligence Compression
LexiCon: a Benchmark for Planning under Temporal Constraints in Natural Language
arxiv.org·1d
🧮Kolmogorov Complexity