research
∙
05/18/2023
Lightweight Online Learning for Sets of Related Problems in Automated Reasoning
We present Self-Driven Strategy Learning (sdsl), a lightweight online le...
share
research
∙
12/10/2022
Lookahead Pathology in Monte-Carlo Tree Search
Monte-Carlo Tree Search (MCTS) is an adversarial search paradigm that fi...
research
∙
11/22/2021
Implicit Quantile Neural Networks for Jet Simulation and Correction
Reliable modeling of conditional densities is important for quantitative...
research
∙
10/29/2019
G2SAT: Learning to Generate SAT Formulas
The Boolean Satisfiability (SAT) problem is the canonical NP-complete pr...
research
∙
10/21/2018
Machine Learning Methods for Track Classification in the AT-TPC
We evaluate machine learning methods for event classification in the Act...
research
∙
03/15/2012