Polaris: A Post-training recipe for scaling RL on Advanced Reasoning models
hkunlp.github.io·2d·
Discuss: Hacker News
🏹Effect Systems
When Large Language Models Meet Law: Dual-Lens Taxonomy, Technical Advances, and Ethical Governance
arxiv.org·13h
🐫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·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
SpatialViz-Bench: Automatically Generated Spatial Visualization Reasoning Tasks for MLLMs
arxiv.org·13h
🎮Verification Games
Most comprehensive review of AI coding agents for Kotlin/Android tasks
jasonpearson.dev·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
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·13h
🔄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·13h
🔍Formal Verification
Data-Semantics-Aware Recommendation of Diverse Pivot Tables
arxiv.org·2d
🐫OCaml
Every AI Integration Is Held Together with Parsing Logic and Prayer
blog.dottxt.co·1d·
Discuss: Hacker News
🤖Program Synthesis
Differential Mamba
arxiv.org·2d
🐫Embedded OCaml
Rethinking Layered Graphic Design Generation with a Top-Down Approach
arxiv.org·2d
🔄Finite State Machines
Improving AEBS Validation Through Objective Intervention Classification Leveraging the Prediction Divergence Principle
arxiv.org·13h
🔍Formal Verification
Havoc – Heap Allocated Value Object Containers
github.com·4d·
Discuss: Hacker News
🛡️seL4
Towards Exception Safety Code Generation with Intermediate Representation Agents Framework
arxiv.org·2d
🔍Formal Verification
Minimal balanced collections and their applications to core stability and other topics of game theory
arxiv.org·2d
🎮Verification Games
Secure Cooperative Gradient Coding: Optimality, Reliability, and Global Privacy
arxiv.org·13h
🌐NetworkProtocols
Modular Automation Core in Go Inspired by Apache/nginx Architecture
reddit.com·1d·
Discuss: r/programming
📦Unikernel Systems