1. NED-Tree: Bridging the Semantic Gap with Nonlinear Element Decomposition Tree for LLM Nonlinear Optimization Modeling
   2026/04/02 by Zhijing Hu, Yufan Deng, Haoyang Liu +1 · 1 voice
   Computer Science · Materials Science · #Benchmark (surveying) #Bridge (graph theory) #Bridging (networking) #Constraint Satisfaction and Optimization #Executable #Machine Learning and Data Classification #Machine Learning in Materials Science #Modeling language #Nonlinear system #Semantic mapping #Semantics (computer science) #Solver #cs.AI
2. cuRobo: Parallelized Collision-Free Minimum-Jerk Robot Motion Generation
   2023/10/26 by Balakumar Sundaralingam, Sundaralingam, Balakumar, Siva Kumar Sastry Hari +21 · 33 citations
   Computer Science · Engineering · Mathematics · #Algorithm #Artificial intelligence #Broyden–Fletcher–Goldfarb–Shanno algorithm #Computer science #Distributed #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Humanoid robot #Massively parallel #Mathematical optimization #Mathematics #Motion (physics) #Optimal control #Optimization problem #Parallel #Parallel computing #Robot #Robot Manipulation and Learning #Robotic Mechanisms and Dynamics #Robotic Path Planning Algorithms #Robotics (cs.RO) #Solver #Trajectory #Trajectory optimization #Traverse #and Cluster Computing (cs.DC)
3. Cross-lingual Prompting: Improving Zero-shot Chain-of-Thought Reasoning across Languages
   2023/10/23 by Libo Qin, Qin, Libo, Qiguang Chen +7 · 51 citations
   Computer Science · Engineering · #Advanced Graph Neural Networks #Artificial Intelligence (cs.AI) #Artificial intelligence #Computation and Language (cs.CL) #Computer science #Engineering #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Linguistics #Machine Learning in Healthcare #Natural language processing #Programming language #Range (aeronautics) #Shot (pellet) #Solver #Task (project management) #Zero (linguistics)
4. Massively Parallel Continuous Local Search for Hybrid SAT Solving on GPUs
   2023/08/29 by Yunuo Cen, Zhiwei Zhang, Cen, Yunuo +3 · 4 citations
   Computer Science · #Acceleration #Algorithm #Artificial Intelligence (cs.AI) #Artificial intelligence #CUDA #Computational science #Computer science #Constraint Satisfaction and Optimization #Distributed #FOS: Computer and information sciences #Fast Fourier transform #Graphics processing unit #Heuristics #Information Theory (cs.IT) #Leverage (statistics) #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Massively parallel #Parallel #Parallel computing #Solver #and Cluster Computing (cs.DC)
5. Reinforcement Learning-based Non-Autoregressive Solver for Traveling Salesman Problems
   2023/08/01 by Yubin Xiao, Xiao, Yubin, Di Wang +17 · 2 citations
   Computer Science · Engineering · Mathematics · #Algorithm #Artificial Intelligence (cs.AI) #Artificial intelligence #Artificial neural network #Autoregressive model #Computer science #FOS: Computer and information sciences #Generalization #Heuristic #Inference #Machine learning #Mathematics #Metaheuristic Optimization Algorithms Research #Reinforcement learning #Solver #Travelling salesman problem #Vehicle License Plate Recognition #Vehicle Routing Optimization Methods
6. Solving Math Word Problems by Combining Language Models With Symbolic Solvers
   2023/04/16 by Joy He-Yueya, Gabriel Poesia, He-Yueya, Joy +5 · 20 citations
   Computer Science · Mathematics · #Arithmetic #Artificial Intelligence (cs.AI) #Artificial intelligence #Benchmark (surveying) #Computation and Language (cs.CL) #Computer science #FOS: Computer and information sciences #Mathematics #Natural Language Processing Techniques #Programming language #Set (abstract data type) #Simple (philosophy) #Solver #Text Readability and Simplification #Theoretical computer science #Topic Modeling #Word (group theory) #Word problem (mathematics education)
7. Scalable High-Quality Hypergraph Partitioning
   2023/03/30 by Lars Gottesbüren, Gottesbüren, Lars, Tobias Heuer +7 · 4 citations
   Computer Science · Engineering · Mathematics · #Algorithm #Bounded function #Cluster analysis #Complexity and Algorithms in Graphs #Computer science #Discrete mathematics #Distributed #FOS: Computer and information sciences #Hypergraph #Interconnection Networks and Systems #Mathematics #Parallel #Parallel computing #Scalability #Scheme (mathematics) #Solver #Theoretical computer science #VLSI and FPGA Design Techniques #and Cluster Computing (cs.DC)
8. NeuralStagger: Accelerating Physics-constrained Neural PDE Solver with Spatial-temporal Decomposition
   2023/02/20 by Xinquan Huang, Wenlei Shi, Huang, Xinquan +11 · 4 citations
   Computer Science · Engineering · Mathematics · Physics and Astronomy · #Acceleration #Algorithm #Artificial intelligence #Artificial neural network #Computational Physics and Python Applications #Computer science #Dynamical simulation #FOS: Computer and information sciences #FOS: Physical sciences #Flexibility (engineering) #Fluid Dynamics (physics.flu-dyn) #Generalization #Lattice Boltzmann Simulation Studies #Machine Learning (cs.LG) #Mathematical analysis #Mathematics #Model Reduction and Neural Networks #Partial differential equation #Physics #Solver
9. A Neural PDE Solver with Temporal Stencil Modeling
   2023/02/16 by Zhiqing Sun, Yiming Yang, Sun, Zhiqing +3 · 7 citations
   Computer Science · Earth and Planetary Sciences · Mathematics · Physics and Astronomy · #Aerodynamics #Aerospace engineering #Algorithm #Artificial intelligence #Computational science #Computer science #Finite volume method #Generalization #Generative Adversarial Networks and Image Synthesis #Mathematics #Meteorological Phenomena and Simulations #Model Reduction and Neural Networks #Partial differential equation #Solver #Stencil
10. High-order projection-based upwind method for implicit large eddy simulation
    2023/01/04 by Philip L. Lederer, Lederer, Philip L., Xaver Mooslechner +3 · 1 citation
    Computer Science · Engineering · Mathematics · Physics and Astronomy · #Advanced Mathematical Modeling in Engineering #Advanced Numerical Methods in Computational Mathematics #Algorithm #Applied mathematics #Benchmark (surveying) #Computer science #Discontinuous Galerkin method #Dykstra's projection algorithm #FOS: Mathematics #FOS: Physical sciences #Finite element method #Flow (mathematics) #Fluid Dynamics (physics.flu-dyn) #Geology #Large eddy simulation #Mathematical analysis #Mathematical optimization #Mathematics #Mechanics #Model Reduction and Neural Networks #Numerical Analysis (math.NA) #Physics #Projection (relational algebra) #Projection method #Representation (politics) #Solver #Statistical physics #Turbulence #Upwind scheme
11. Message Passing Neural PDE Solvers
    2022/02/07 by J. Brandstetter, Daniel E. Worrall, Brandstetter, Johannes +3 · 77 citations
    Mathematics · Physics and Astronomy · #Applied mathematics #Artificial intelligence #Artificial neural network #Computer Vision and Pattern Recognition (cs.CV) #Computer science #Curse of dimensionality #Discretization #Domain (mathematical analysis) #FOS: Computer and information sciences #FOS: Mathematics #Machine Learning (cs.LG) #Machine learning #Mathematical analysis #Mathematical optimization #Mathematics #Message passing #Model Reduction and Neural Networks #Network topology #Numerical Analysis (math.NA) #Numerical analysis #Numerical stability #Partial differential equation #Solver #Stability (learning theory) #Topology (electrical circuits)
12. Fast Homotopy for Spacecraft Rendezvous Trajectory Optimization with Discrete Logic
    2021/07/14 by Danylo Malyuta, Malyuta, Danylo, Behcet Acikmese +2 · 6 citations
    Computer Science · Engineering · Mathematics · #Aerospace Engineering and Control Systems #Algorithm #Computer science #Control theory (sociology) #Engineering #FOS: Electrical engineering #FOS: Mathematics #Homotopy #Mathematical optimization #Mathematics #Optimal control #Optimization and Control (math.OC) #Quadratic programming #Range (aeronautics) #Rendezvous #Sequential quadratic programming #Solver #Spacecraft #Spacecraft Design and Technology #Spacecraft Dynamics and Control #Systems and Control (eess.SY) #Trajectory #Trajectory optimization #cs.SY #eess.SY #electronic engineering #information engineering #math.OC
13. Post-mortem on a deep learning contest: a Simpson's paradox and the complementary roles of scale metrics versus shape metrics
    2021/06/01 by Charles H. Martin, Michael W. Mahoney, Martin, Charles H. +1 · 2 citations
    Computer Science · Mathematics · #Adversarial Robustness in Machine Learning #Artificial intelligence #Artificial neural network #Computer science #Domain Adaptation and Few-Shot Learning #FOS: Computer and information sciences #Generalization #Hyperparameter #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Machine Learning and Data Classification #Machine learning #Mathematics #Metric (unit) #Neural Networks and Applications #Overfitting #Range (aeronautics) #Regularization (linguistics) #Solver #cs.LG #stat.ML
14. Tree-based solvers for adaptive mesh refinement code flash – II: radiation transport module TreeRay
    2021/05/20 by Richard Wünsch, Stefanie Walch, František Dinnbier +5 · 1 citation
    Physics and Astronomy · #Adaptive mesh refinement #Astrophysics #Astrophysics and Star Formation Studies #Code (set theory) #Computational physics #Computational science #Computer science #Galaxies: Formation, Evolution, Phenomena #Galaxy #Interstellar medium #Optics #Physics #Radiative transfer #Set (abstract data type) #Solver #Stellar, planetary, and galactic studies #Tree (set theory) #astro-ph.IM
15. An Object Detection based Solver for Google's Image reCAPTCHA v2
    2021/04/07 by Md Imran Hossen, Yazhou Tu, Hossen, Md Imran +11 · 1 citation
    Computer Science · #Artificial intelligence #Biometric Identification and Security #Computer Vision and Pattern Recognition (cs.CV) #Computer graphics (images) #Computer science #Computer vision #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Face recognition and analysis #Image (mathematics) #Object (grammar) #Object detection #Pattern recognition (psychology) #Programming language #Solver #User Authentication and Security Systems #cs.CR #cs.CV
16. DualSPHysics: from fluid dynamics to multiphysics problems
    2021/03/29 by Jose M. Domínguez, J.M. Domínguez, G. Fourtakas +23 · 3 citations
    Computer Science · Engineering · Mathematics · Physics and Astronomy · #Compressibility #Computational fluid dynamics #Coupling (piping) #Fluid Dynamics Simulations and Interactions #Fluid Dynamics and Heat Transfer #Fluid dynamics #Lattice Boltzmann Simulation Studies #Multiphysics #Range (aeronautics) #Smoothed-particle hydrodynamics #Solver #cs.NA #math.NA #physics.flu-dyn
17. Embedding Power Flow into Machine Learning for Parameter and State Estimation
    2021/03/26 by Laurent Pagnier, Michael Chertkov, Pagnier, Laurent +1 · 2 citations
    Computer Science · Engineering · Mathematics · Physics and Astronomy · #Algorithm #Artificial intelligence #Artificial neural network #Computational Physics and Python Applications #Computer science #Control (management) #Control theory (sociology) #Electric power system #Embedding #Energy Load and Power Forecasting #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Physical sciences #Gradient descent #Machine Learning (cs.LG) #Mathematical optimization #Mathematics #Optimal Power Flow Distribution #Optimization problem #Phasor #Physics and Society (physics.soc-ph) #Power (physics) #Power System Optimization and Stability #Smart Grid Security and Resilience #Solver #Systems and Control (eess.SY) #cs.LG #cs.SY #eess.SY #electronic engineering #information engineering #physics.soc-ph
18. A structure-preserving, operator splitting scheme for reaction-diffusion equations with detailed balance
    2020/10/31 by Chun Liu, Cheng Wang, Yiwei Wang · 1 citation
    Computer Science · Mathematics · Physics and Astronomy · #Advanced Mathematical Modeling in Engineering #Applied mathematics #Convexity #Differential Equations and Numerical Methods #Energy functional #Fractional Differential Equations Solutions #Mathematical analysis #Mathematical optimization #Mathematics #Numerical analysis #Numerical stability #Reaction–diffusion system #Robustness (evolution) #Solver #cs.NA #math.NA #physics.chem-ph
19. Boson-exchange parquet solver for dual fermions
    2020/08/31 by Friedrich Krien, Angelo Valli, Patrick Chalupa-Gantner +6 · 1 citation
    Mathematics · Physics and Astronomy · #Algorithm #Atomic and Subatomic Physics Research #Boson #Bosonization #Combinatorics #Fermion #Formalism (music) #Hubbard model #Mathematical physics #Mathematics #Physics #Physics of Superconductivity and Magnetism #Quantum and electron transport phenomena #Quantum mechanics #Residual #Solver #Superconductivity #Vertex (graph theory) #cond-mat.str-el
20. Multigrid deflation for Lattice QCD
    2019/09/26 by Eloy Romero, Andreas Stathopoulos, Kostas Orginos · 1 citation
    Computer Science · Mathematics · Physics and Astronomy · #Algorithm #Applied mathematics #Computation #Computer science #Deflation #Dirac operator #Eigenvalues and eigenvectors #Estimator #Lattice QCD #Linear system #Mathematical analysis #Mathematical optimization #Mathematics #Matrix Theory and Algorithms #Monte Carlo method #Multigrid method #Operator (biology) #Partial differential equation #Particle physics theoretical and experimental studies #Physics #Quantum Chromodynamics and Particle Interactions #Quantum chromodynamics #Solver #Variance reduction #cs.NA #hep-lat #math.NA
21. Coupled Cluster as an impurity solver for Green's function embedding\n methods
    2019/06/10 by Avijit Shee, Shee, Avijit, Dominika Zgid +1 · 1 citation
    Mathematics · Physics and Astronomy · #Advanced Chemical Physics Studies #Cluster (spacecraft) #Computer science #Coupled cluster #Eigenvalues and eigenvectors #Embedding #Function (biology) #Geometry #Green's function #Hubbard model #Lanczos resampling #Mathematical optimization #Mathematics #Physics #Physics of Superconductivity and Magnetism #Quantum and electron transport phenomena #Quantum mechanics #Scaling #Solver #Statistical physics #Superconductivity #cond-mat.str-el #physics.chem-ph #physics.comp-ph
22. DeepOPF: Deep Neural Network for DC Optimal Power Flow
    2019/05/11 by Xiang Pan, Pan, Xiang, Tianyu Zhao +3 · 5 citations
    Engineering · Mathematics · #Artificial intelligence #Artificial neural network #Computer science #Dimension (graph theory) #Electric Power System Optimization #Electric power system #FOS: Electrical engineering #Leverage (statistics) #Mathematical optimization #Mathematics #Optimal Power Flow Distribution #Power (physics) #Power System Optimization and Stability #Power flow #Solver #Systems and Control (eess.SY) #electronic engineering #information engineering
23. Quantum Sparse Support Vector Machines
    2019/02/05 by Seyran Saeedi, Saeedi, Seyran, Tom Arodz +1 · 1 citation
    Computer Science · Mathematics · Physics and Astronomy · #Algorithm #Artificial intelligence #Classifier (UML) #Computational complexity theory #Computer science #Discrete mathematics #FOS: Computer and information sciences #FOS: Physical sciences #Feature vector #Hinge loss #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Machine Learning and ELM #Mathematics #Quantum #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Physics (quant-ph) #Solver #Sparse approximation #Sublinear function #Support vector machine #Time complexity #cs.LG #quant-ph #stat.ML
24. Error propagation dynamics of PIV-based pressure field calculation (3): What is the minimum resolvable pressure in a reconstructed field?
    2018/07/11 by Mingyuan Nie, Jared P. Whitehead, Nie, Mingyuan +7 · 1 citation
    Engineering · Mathematics · Physics and Astronomy · #Aerodynamics and Acoustics in Jet Flows #Algorithm #Boundary (topology) #Computational Fluid Dynamics and Aerodynamics #Computer science #Extrapolation #FOS: Physical sciences #Field (mathematics) #Fluid Dynamics (physics.flu-dyn) #Fluid Dynamics and Turbulent Flows #Mathematical analysis #Mathematical optimization #Mathematics #Propagation of uncertainty #Resolution (logic) #Richardson extrapolation #Sensitivity (control systems) #Solver #Statistics #Truncation (statistics) #Truncation error #physics.flu-dyn
25. Neural Ordinary Differential Equations
    2018/06/19 by Ricky T. Q. Chen, Yulia Rubanova, Chen, Ricky T. Q. +5 · 5 voices · 965 citations
    Computer Science · Mathematics · Physics and Astronomy · #Algorithm #Applied mathematics #Artificial intelligence #Artificial neural network #Black box #Computational Physics and Python Applications #Computer science #Constant (computer programming) #Construct (python library) #Continuous modelling #Differential (mechanical device) #Differential equation #Generative Adversarial Networks and Image Synthesis #Latent variable #Mathematical analysis #Mathematical optimization #Mathematics #Model Reduction and Neural Networks #Ode #Ordinary differential equation #Residual #Sequence (biology) #Solver #Variable (mathematics) #cs.AI #cs.LG #stat.ML
26. Formal Security Analysis of Neural Networks using Symbolic Intervals
    2018/04/28 by Shiqi Wang, Wang, Shiqi, Kexin Pei +7 · 28 citations
    Computer Science · #Advanced Malware Detection Techniques #Adversarial Robustness in Machine Learning #Artificial intelligence #Computer engineering #Computer science #Computer security #Formal verification #Leverage (statistics) #Model checking #Overhead (engineering) #Programming language #Satisfiability modulo theories #Security analysis #Software Testing and Debugging Techniques #Solver #Theoretical computer science #cs.AI #cs.LO
27. Learning a SAT Solver from Single-Bit Supervision
    2018/02/11 by Daniel Selsam, Matthew Lamm, Selsam, Daniel +9 · 1 voice · 66 citations
    Computer Science · Decision Sciences · Mathematics · #Auction Theory and Applications #Boolean satisfiability problem #Clique #Combinatorics #Computability #Computer science #Conjunctive normal form #Constraint Satisfaction and Optimization #Edge cover #Graph #Independent set #Mathematics #Programming language #Random graph #Satisfiability #Software Engineering Research #Solver #Theoretical computer science #Vertex (graph theory) #Vertex cover #cs.AI #cs.LG #cs.LO
28. A rewriting system for convex optimization problems
    2018/01/02 by Akshay Agrawal, Robin Verschueren, Steven Diamond +1 · 4 citations
    Computer Science · Mathematics · #Algebra over a field #Algorithm #Artificial intelligence #Class (philosophy) #Computer science #Constraint Satisfaction and Optimization #Distributed and Parallel Computing Systems #Domain (mathematical analysis) #Mathematical optimization #Mathematics #Modular design #Numerical Methods and Algorithms #Optimization problem #Programming language #Pure mathematics #Regular polygon #Rewriting #Solver #Theoretical computer science #Translation (biology) #Variety (cybernetics)
29. Parallelizing the dual revised simplex method
    2017/12/13 by Q. Huangfu, J. A. J. Hall · 6 citations
    Computer Science · Mathematics · #Advanced Optimization Algorithms Research #Algorithm #Computer science #Exploit #Linear programming #Mathematical optimization #Mathematics #Matrix Theory and Algorithms #Numerical Methods and Algorithms #Parallel computing #Parallelism (grammar) #Programming language #Simplex #Simplex algorithm #Solver #Speedup #Theory of computation
30. Probabilistic solvers for partial differential equations
    2016/07/12 by Ilias Bilionis, Bilionis, Ilias · 1 citation
    Computer Science · Decision Sciences · Mathematics · Physics and Astronomy · #Applied mathematics #Boundary value problem #Computer science #Dirichlet boundary condition #Discretization #FOS: Mathematics #Gaussian Processes and Bayesian Inference #Mathematical analysis #Mathematical optimization #Mathematics #Measure (data warehouse) #Model Reduction and Neural Networks #Numerical Analysis (math.NA) #Numerical partial differential equations #Partial differential equation #Probabilistic and Robust Engineering Design #Probabilistic logic #Probability (math.PR) #Probability measure #Solver #Stochastic partial differential equation

more