FSNet finds feasible power grid solutions in minutes, outperforming tried-and-true tools
techxplore.com·20h
🎲Probabilistic Programming
Flag this post
Panther: A Cost-Effective Privacy-Preserving Framework for GNN Training and Inference Services in Cloud Environments
arxiv.org·7h
🔐Cryptography
Flag this post
Robust Control Synthesis via Persistent Homology-Guided Network Pruning
dev.to·1d·
Discuss: DEV
📈Complexity Theory
Flag this post
Towards Automated Petrography
arxiv.org·7h
🎲Probabilistic Programming
Flag this post
Automatically Finding Rule-Based Neurons in OthelloGPT
arxiv.org·7h
🧭SMT Solvers
Flag this post
The Riddle of Reflection: Evaluating Reasoning and Self-Awareness in Multilingual LLMs using Indian Riddles
arxiv.org·7h
🔗Parser Combinators
Flag this post
flowengineR: A Modular and Extensible Framework for Fair and Reproducible Workflow Design in R
arxiv.org·7h
🎲Probabilistic Programming
Flag this post
Practical Design Patterns for Agentic Systems
pub.towardsai.net·1d
🏗️Software Architecture
Flag this post
pg_stat_plans: Track per-plan call counts, execution times and EXPLAIN texts
github.com·1d·
Discuss: Hacker News
🗄️Database Theory
Flag this post
Algorithmic Assistance with Recommendation-Dependent Preferences
arxiv.org·7h
⚖Algorithmic Game Theory
Flag this post
Don't Just Search, Understand: Semantic Path Planning Agent for Spherical Tensegrity Robots in Unknown Environments
arxiv.org·7h
🧭SMT Solvers
Flag this post
Post-training methods for language models
developers.redhat.com·5h
🎲Probabilistic Programming
Flag this post
Open-weight training practices and implications for CoT monitorability
lesswrong.com·2h
🎲Probabilistic Programming
Flag this post
OpenSIR: Open-Ended Self-Improving Reasoner
arxiv.org·7h
🧩Theorem Proving
Flag this post
Bio-Inspired Neuron Synapse Optimization for Adaptive Learning and Smart Decision-Making
arxiv.org·7h
🎲Probabilistic Programming
Flag this post
Day 23: Python Positive Sum Function – Calculate the Sum of Positive Numbers in a List
dev.to·18h·
Discuss: DEV
🎲Probabilistic Programming
Flag this post
The Art of the Do-Over: Designing Idempotent Jobs as a Journey to Peace of Mind
dev.to·13h·
Discuss: DEV
🧩Theorem Proving
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·16m
🧮Programming Language Theory
Flag this post
Hyper Hawkes Processes: Interpretable Models of Marked Temporal Point Processes
arxiv.org·7h
🎲Probabilistic Programming
Flag this post
Online Energy Storage Arbitrage under Imperfect Predictions: A Conformal Risk-Aware Approach
arxiv.org·7h
⚖Algorithmic Game Theory
Flag this post