Causal Abstractions, Categorically Unified
arxiv.org·19h
⚙️Compilers
The Mondrian introduction to functional optics
marcosh.github.io·13h·
Discuss: Hacker News
🎨Graphics Programming
PsycholexTherapy: Simulating Reasoning in Psychotherapy with Small Language Models in Persian
arxiv.org·19h
⚙️Compilers
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·4d·
🧩programming
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·19h
⚙️Compilers
TS-Reasoner: Aligning Time Series Foundation Models with LLM Reasoning
arxiv.org·19h
⚙️Compilers
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org·19h
⚙️Compilers
Categorical Invariants of Learning Dynamics
arxiv.org·19h
⚙️Compilers
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·19h
🧩programming
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
arxiv.org·19h
🧩programming
Partial Information Decomposition via Normalizing Flows in Latent Gaussian Distributions
arxiv.org·19h
⚙️Compilers
Bringing NumPy's type-completeness score to nearly 90% – Pyrefly
pyrefly.org·13h·
🧩programming
Revealing Interconnections between Diseases: from Statistical Methods to Large Language Models
arxiv.org·19h
⚙️Compilers
Small Language Models for Agentic Systems: A Survey of Architectures, Capabilities, and Deployment Trade offs
arxiv.org·19h
🧩programming
An Senegalese Legal Texts Structuration Using LLM-augmented Knowledge Graph
arxiv.org·1d
⚙️Compilers
Emergence of Superposition: Unveiling the Training Dynamics of Chain of Continuous Thought
arxiv.org·19h
⚙️Compilers
Category Theory Illustrated – Natural Transformations
abuseofnotation.github.io·6d·
🧩programming
Constraint Satisfaction Approaches to Wordle: Novel Heuristics and Cross-Lexicon Validation
arxiv.org·1d
⚙️Compilers
Detecting Distillation Data from Reasoning Models
arxiv.org·19h
🧩programming
Visual Representations inside the Language Model
arxiv.org·19h
⚙️Compilers