A chemical language model for molecular taste prediction
nature.com·1d·
Discuss: Hacker News
🐫OCaml
DeepRetro: Retrosynthetic Pathway Discovery using Iterative LLM Reasoning
arxiv.org·1d
✓Automated Theorem Proving
Polaris: A Post-training recipe for scaling RL on Advanced Reasoning models
hkunlp.github.io·2d·
Discuss: Hacker News
🏹Effect Systems
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·19h·
Discuss: Lobsters, Hacker News
🔍Formal Verification
Position: We Need An Algorithmic Understanding of Generative AI
arxiv.org·8h
✓Automated Theorem Proving
Optimizing Communication and Device Clustering for Clustered Federated Learning with Differential Privacy
arxiv.org·8h
⚙️Operating System Design
Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
arxiv.org·3d
🛡️seL4
Axiomatic characterizations of dissimilarity orderings and distances between sets
arxiv.org·2d
➡️Category Theory
Most comprehensive review of AI coding agents for Kotlin/Android tasks
jasonpearson.dev·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Text to model via SysML: Automated generation of dynamical system computational models from unstructured natural language text via enhanced System Modeling Lang...
arxiv.org·1d
🐫OCaml
Ready lists
11011110.github.io·3d·
Discuss: Hacker News
💻CS
ArchiveGPT: A human-centered evaluation of using a vision language model for image cataloguing
arxiv.org·8h
✓Automated Theorem Proving
When Large Language Models Meet Law: Dual-Lens Taxonomy, Technical Advances, and Ethical Governance
arxiv.org·8h
🐫OCaml
PBE Meets LLM: When Few Examples Aren't Few-Shot Enough
arxiv.org·2d
✓Automated Theorem Proving
Data-Star.dev – v1 and Beyond
data-star.dev·20h·
Discuss: Hacker News
🧱Immutable Infrastructure
SpatialViz-Bench: Automatically Generated Spatial Visualization Reasoning Tasks for MLLMs
arxiv.org·8h
🎮Verification Games
Gaussian Process-Based Active Exploration Strategies in Vision and Touch
arxiv.org·2d
🔄Finite State Machines
Perceptual Distortions and Autonomous Representation Learning in a Minimal Robotic System
arxiv.org·8h
🔄Finite State Machines
AutoTriton: Automatic Triton Programming with Reinforcement Learning in LLMs
arxiv.org·2d
🔄Finite State Machines
Prompt Engineering for Requirements Engineering: A Literature Review and Roadmap
arxiv.org·8h
🔍Formal Verification