会员服务
Dsat: A Native SAT Solver for Discrete Logic
Arxiv
0+阅读 · 5月10日
A Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting Quantifiers
Arxiv
0+阅读 · 5月5日
How reliable are LLMs when it comes to playing dice?
Arxiv
0+阅读 · 6月11日
How reliable are LLMs when it comes to playing dice?
Arxiv
0+阅读 · 6月5日
Modeling Agentic Technical Debt and Stochastic Tax: A Standalone Framework for Measurement, Simulation, and Dashboarding
Arxiv
0+阅读 · 5月26日
A Bayesian Reasoning Framework for Robotic Systems in Autonomous Casualty Triage
Arxiv
0+阅读 · 4月23日
DarwinNet: An Evolutionary Network Architecture for Agent-Driven Protocol Synthesis
Arxiv
0+阅读 · 4月13日
Model Predictive Control via Probabilistic Inference: A Tutorial and Survey
Arxiv
0+阅读 · 2月12日
Model Predictive Control via Probabilistic Inference: A Tutorial and Survey
Arxiv
0+阅读 · 2月10日
Implicit Probabilistic Reasoning Does Not Reflect Explicit Answers in Large Language Models
Arxiv
0+阅读 · 2月11日
Lifted Relational Probabilistic Inference via Implicit Learning
Arxiv
0+阅读 · 2月16日
OrLog: Resolving Complex Queries with LLMs and Probabilistic Reasoning
Arxiv
0+阅读 · 1月30日
Bayesian Teaching Enables Probabilistic Reasoning in Large Language Models
Arxiv
0+阅读 · 1月15日
Generate-Then-Validate: A Novel Question Generation Approach Using Small Language Models
Arxiv
0+阅读 · 1月16日
Generate-Then-Validate: A Novel Question Generation Approach Using Small Language Models
Arxiv
0+阅读 · 2025年12月10日
参考链接
微信扫码咨询专知VIP会员
Top