UNSAT Solver Synthesis via Monte Carlo Forest Search

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Cameron, Chris, Hartford, Jason, Lundy, Taylor, Truong, Tuan, Milligan, Alan, Chen, Rex, Leyton-Brown, Kevin
Format:	Preprint
Published:	2022
Subjects:	Artificial Intelligence Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Reasoning Models are Test Exploiters: Rethinking Multiple-Choice
by: Raman, Narun, et al.
Published: (2025)

QuickScope: Certifying Hard Questions in Dynamic LLM Benchmarks
by: Lundy, Taylor, et al.
Published: (2026)

$f$-Trajectory Balance: A Loss Family for Tuning GFlowNets, Generative Models, and LLMs with Off- and On-Policy Data
by: Fawkes, Jake, et al.
Published: (2026)

Power Mean Estimation in Stochastic Monte-Carlo Tree_Search
by: Dam, Tuan, et al.
Published: (2024)

NFTs as a Data-Rich Test Bed: Conspicuous Consumption and its Determinants
by: Lundy, Taylor, et al.
Published: (2025)

Utilitarian Algorithm Configuration for Infinite Parameter Spaces
by: Graham, Devon, et al.
Published: (2024)

SATformer: Transformer-Based UNSAT Core Learning
by: Shi, Zhengyuan, et al.
Published: (2022)

STEER-ME: Assessing the Microeconomic Reasoning of Large Language Models
by: Raman, Narun, et al.
Published: (2025)

chat log: Goolge Search AI - Anthropic Claude benchmarks and model release statistics in comparison to PACAD-based training estimates
by: Brown, Cameron
Published: (2026)

Understanding Understanding: A Pragmatic Framework Motivated by Large Language Models
by: Leyton-Brown, Kevin, et al.
Published: (2024)

Narrative Studio: Visual narrative exploration using LLMs and Monte Carlo Tree Search
by: Ghaffari, Parsa, et al.
Published: (2025)

HardCore Generation: Generating Hard UNSAT Problems for Data Augmentation
by: Cotnareanu, Joseph, et al.
Published: (2024)

Monte Carlo Search Algorithms Discovering Monte Carlo Tree Search Exploration Terms
by: Cazenave, Tristan
Published: (2024)

Understanding Iterative Combinatorial Auction Designs via Multi-Agent Reinforcement Learning
by: d'Eon, Greg, et al.
Published: (2024)

STEER: Assessing the Economic Rationality of Large Language Models
by: Raman, Narun, et al.
Published: (2024)

Monte Carlo Permutation Search
by: Cazenave, Tristan
Published: (2025)

Practical, Utilitarian Algorithm Configuration
by: Graham, Devon, et al.
Published: (2025)

Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis
by: Lu, Zhengyang, et al.
Published: (2024)

Bilevel Optimization of Agent Skills via Monte Carlo Tree Search
by: Huang, Chenyi, et al.
Published: (2026)

Epistemic Monte Carlo Tree Search
by: Oren, Yaniv, et al.
Published: (2022)

Learning What Matters: Steering Diffusion via Spectrally Anisotropic Forward Noise
by: Scimeca, Luca, et al.
Published: (2025)

Continuous Monte Carlo Graph Search
by: Kujanpää, Kalle, et al.
Published: (2022)

PACAD-Based Structural Reasoning for AGI: From Probabilistic Pattern-Matching to Verifiable Canonical Architectures – paper 1, version 2
by: Brown, Cameron
Published: (2026)

Partially Observable Monte-Carlo Graph Search
by: You, Yang, et al.
Published: (2025)

PACAD-Enhanced Opus: Specialized Benchmark Performance Estimates – 2-3 Week Cycle (14-21 Days, Median ~17 Days)
by: Brown, Cameron
Published: (2026)

Predicting and Publishing Accurate Imbalance Prices Using Monte Carlo Tree Search
by: Pavirani, Fabio, et al.
Published: (2024)

PACAD-Based Structural Reasoning for AGI: From Probabilistic Pattern-Matching to Verifiable Canonical Architectures – paper 1, version 1
by: Brown, Cameron
Published: (2026)

AEC — Axiomatic Engine Cycle v0.1 — Initial Specification Draft
by: Brown, Cameron
Published: (2026)

Lookahead Pathology in Monte-Carlo Tree Search
by: Nguyen, Khoi P. N., et al.
Published: (2022)

Array-Based Monte Carlo Tree Search
by: Ragan, James, et al.
Published: (2025)

Twice Sequential Monte Carlo for Tree Search
by: Oren, Yaniv, et al.
Published: (2025)

Monte Carlo Tree Search with Boltzmann Exploration
by: Painter, Michael, et al.
Published: (2024)

Doubly Robust Monte Carlo Tree Search
by: Liu, Manqing, et al.
Published: (2025)

Generalized Proof-Number Monte-Carlo Tree Search
by: Kowalski, Jakub, et al.
Published: (2025)

Proof Number Based Monte-Carlo Tree Search
by: Kowalski, Jakub, et al.
Published: (2023)

KBQA-o1: Agentic Knowledge Base Question Answering with Monte Carlo Tree Search
by: Luo, Haoran, et al.
Published: (2025)

Empirical-MCTS: Continuous Agent Evolution via Dual-Experience Monte Carlo Tree Search
by: Lu, Hao, et al.
Published: (2026)

Explainable Graph Neural Architecture Search via Monte-Carlo Tree Search (Full version)
by: Sasaki, Yuya
Published: (2023)

Combining Monte Carlo Tree Search and Heuristic Search for Weighted Vertex Coloring
by: Grelier, Cyril, et al.
Published: (2023)

Monte Carlo Tree Search Boosts Reasoning via Iterative Preference Learning
by: Xie, Yuxi, et al.
Published: (2024)