PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·2d
🔤Language Design
Flag this post
Show HN: Yansu, Serious Coding
🌳Git
Flag this post
Optimizing Earth-Moon Transfer and Cislunar Navigation: Integrating Low-Energy Trajectories, AI Techniques and GNSS-R Technologies
arxiv.org·20h
🧭Inertial Navigation
Flag this post
Building Reliable AI Agents with MCP: What We Learned Moving Codegen to the Planning Phase
🎭Program Synthesis
Flag this post
Moonshot's Kimi K2 Thinking emerges as leading open source AI, outperforming GPT-5, Claude Sonnet 4.5 on key benchmarks
venturebeat.com·7h
💬Prompt Engineering
Flag this post
OpenSIR: Open-Ended Self-Improving Reasoner
arxiv.org·2d
🧮SMT Solvers
Flag this post
Natural Building Blocks for Structured World Models: Theory, Evidence, and Scaling
arxiv.org·1d
🔀Procedural Generation
Flag this post
Can AI See the World Like a Cat? Probing Deep Learning's Feline Understanding
👁️Computer Vision
Flag this post
Composing and Decomposing AI Functions (Tutorial with Python Examples)
🎭Program Synthesis
Flag this post
Enhanced Interoperability via Dynamic Semantic Alignment in Cross-Chain DeFi Protocols
💰TigerBeetle
Flag this post
Study on Supply Chain Finance Decision-Making Model and Enterprise Economic Performance Prediction Based on Deep Reinforcement Learning
arxiv.org·2d
🔬Deep Learning
Flag this post
Dynamic Freight Route Optimization via Multi-Agent Reinforcement Learning with Adaptive Risk Aversion
🎯Reinforcement Learning
Flag this post
BRAINS: A Retrieval-Augmented System for Alzheimer's Detection and Monitoring
arxiv.org·1d
💬Natural Language Processing
Flag this post
flowengineR: A Modular and Extensible Framework for Fair and Reproducible Workflow Design in R
arxiv.org·2d
🔧Data Engineering
Flag this post
Knowledge-Augmented Question Error Correction for Chinese Question Answer System with QuestionRAG
arxiv.org·20h
🔍RAG
Flag this post
Loading...Loading more...