research
∙
09/16/2023
Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees
Satisfiability Modulo Counting (SMC) encompasses problems that require b...
share
research
∙
09/13/2023
Efficient Learning of PDEs via Taylor Expansion and Sparse Decomposition into Value and Fourier Domains
Accelerating the learning of Partial Differential Equations (PDEs) from ...
research
∙
09/13/2023
Racing Control Variable Genetic Programming for Symbolic Regression
Symbolic regression, as one of the most crucial tasks in AI for science,...
research
∙
05/25/2023
Symbolic Regression via Control Variable Genetic Programming
Learning symbolic expressions directly from experiment data is a vital s...
research
∙
02/02/2023
Accelerating Policy Gradient by Estimating Value Function from Prior Computation in Deep Reinforcement Learning
This paper investigates the use of prior computation to estimate the val...
research
∙
12/14/2022
Robust Policy Optimization in Deep Reinforcement Learning
The policy gradient method enjoys the simplicity of the objective where ...
research
∙
12/01/2022
Learning Combinatorial Structures via Markov Random Fields with Sampling through Lovász Local Lemma
Generative models for learning combinatorial structures have transformat...
research
∙
10/24/2022
Human-centered XAI for Burn Depth Characterization
Approximately 1.25 million people in the United States are treated each ...
research
∙
10/13/2022
Bootstrap Advantage Estimation for Policy Optimization in Reinforcement Learning
This paper proposes an advantage estimation approach based on data augme...
research
∙
08/11/2022
On the Value of Behavioral Representations for Dense Retrieval
We consider text retrieval within dense representational space in real-w...
research
∙
07/15/2022
Bootstrap State Representation using Style Transfer for Better Generalization in Deep Reinforcement Learning
Deep Reinforcement Learning (RL) agents often overfit the training envir...
research
∙
03/22/2022
Provable Constrained Stochastic Convex Optimization with XOR-Projected Gradient Descent
Provably solving stochastic convex optimization problems with constraint...
research
∙
10/06/2021
A Fast Randomized Algorithm for Massive Text Normalization
Many popular machine learning techniques in natural language processing ...
research
∙
11/30/2020
From the DESK (Dexterous Surgical Skill) to the Battlefield – A Robotics Exploratory Study
Short response time is critical for future military medical operations i...
research
∙
11/24/2020
Language Generation via Combinatorial Constraint Satisfaction: A Tree Search Enhanced Monte-Carlo Approach
Generating natural language under complex constraints is a principled fo...
research
∙
10/13/2019
AdaWISH: Faster Discrete Integration via Adaptive Quantiles
Discrete integration in a high dimensional space of n variables poses fu...
research
∙
03/03/2019
DESK: A Robotic Activity Dataset for Dexterous Surgical Skills Transfer to Medical Robots
Datasets are an essential component for training effective machine learn...
research
∙
05/07/2018
Imitation Refinement
Many real-world tasks involve identifying patterns from data satisfying ...
research
∙
03/22/2018
End-to-End Learning for the Deep Multivariate Probit Model
The multivariate probit model (MVP) is a popular classic model for study...
research
∙
11/18/2017
Scalable Relaxations of Sparse Packing Constraints: Optimal Biocontrol in Predator-Prey Network
Cascades represent rapid changes in networks. A cascading phenomenon of ...
research
∙
09/17/2017
Multi-Entity Dependence Learning with Rich Context via Conditional Variational Auto-encoder
Multi-Entity Dependence Learning (MEDL) explores conditional correlation...
research
∙
05/23/2017
XOR-Sampling for Network Design with Correlated Stochastic Events
Many network optimization problems can be formulated as stochastic netwo...
research
∙
10/08/2016
Solving Marginal MAP Problems with NP Oracles and Parity Constraints
Arising from many applications at the intersection of decision making an...
research
∙
10/03/2016
Phase-Mapper: An AI Platform to Accelerate High Throughput Materials Discovery
High-Throughput materials discovery involves the rapid synthesis, measur...
research
∙
09/28/2016
Deep Multi-Species Embedding
Understanding how species are distributed across landscapes over time is...
research
∙
08/17/2015