ML-assisted combinatorial optimization and searching in high-dimensional discrete spaces (MILP/SAT/SMT solvers/theorem provers, etc) ML-assisted continuous reg

ML-assisted combinatorial optimization and searching in high-dimensional discrete spaces (MILP/SAT/SMT solvers/theorem provers, etc) ML-assisted continuous regime optimization (e.g., in solid/fluid mechanics problems, chemical problems, etc) ML-assisted PDE solvers (e.g., weather simulation, etc)