热点
"SAT求解器" 相关文章
中科院软件所成果获英伟达重点引用，用大模型重构求解器研发范式，打造EDA领域更强核心引擎
MIT 科技评论 - 本周热榜 2025-09-25T09:34:46.000000Z
DaSAThco: Data-Aware SAT Heuristics Combinations Optimization via Large Language Models
cs.AI updates on arXiv.org 2025-09-17T04:49:08.000000Z
中科院软件所成果获英伟达重点引用，用大模型重构求解器研发范式，打造EDA领域更强核心引擎
DeepTech深科技 2025-09-15T14:08:38.000000Z
英伟达的AI已经开始接管整个项目了？SATLUTION自主进化代码库登顶SAT竞赛
机器之心 2025-09-11T16:05:30.000000Z
英伟达的AI已经开始接管整个项目了？SATLUTION自主进化代码库登顶SAT竞赛
机器之心 2025-09-11T15:52:27.000000Z
英伟达的AI已经开始接管整个项目了？SATLUTION自主进化代码库登顶SAT竞赛
机器之心 2025-09-11T10:54:19.000000Z
英伟达的AI已经开始接管整个项目了？SATLUTION自主进化代码库登顶SAT竞赛
36氪 AI 2025-09-11T04:38:28.000000Z
Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models
cs.AI updates on arXiv.org 2025-08-22T04:02:34.000000Z
Explaining Hitori Puzzles: Neurosymbolic Proof Staging for Sequential Decisions
cs.AI updates on arXiv.org 2025-08-21T04:04:00.000000Z
Automatically discovering heuristics in a complex SAT solver with large language models
cs.AI updates on arXiv.org 2025-07-31T04:47:55.000000Z
SAT-Based Bounded Fitting for the Description Logic ALC
cs.AI updates on arXiv.org 2025-07-30T04:11:59.000000Z