English
Related papers

Related papers: Modeling of Phenomena and Dynamic Logic of Phenome…

200 papers

Max-Plus Linear (MPL) systems are an algebraic formalism with practical applications in transportation networks, manufacturing and biological systems. In this paper, we investigate the problem of automatically analyzing the properties of…

Formal Languages and Automata Theory · Computer Science 2023-08-22 Muhammad Syifa'ul Mufid , Andrea Micheli , Alessandro Abate , Alessandro Cimatti

Targeting to understand the underlying explainable factors behind observations and modeling the conditional generation process on these factors, we connect disentangled representation learning to Diffusion Probabilistic Models (DPMs) to…

Computer Vision and Pattern Recognition · Computer Science 2023-10-31 Tao Yang , Yuwang Wang , Yan Lv , Nanning Zheng

Chain-of-thought reasoning, while powerful, can produce unnecessarily verbose output for simpler problems. We present a framework for difficulty-aware reasoning that teaches models to dynamically adjust reasoning depth based on problem…

Computation and Language · Computer Science 2025-09-08 Abdul Waheed , Chancharik Mitra , Laurie Z. Wang , Deva Ramanan , Bhiksha Raj

Deep-learning models such as Convolutional Neural Networks (CNN) and Long Short-Term Memory (LSTM) have been successfully used for process-mining tasks. They have achieved better performance for different predictive tasks than traditional…

Machine Learning · Computer Science 2021-05-04 Ishwar Venugopal , Jessica Töllich , Michael Fairbank , Ansgar Scherp

The Linear Multistep Method Particle Filter (LMM PF) is a method for predicting the evolution in time of a evolutionary system governed by a system of differential equations. If some of the parameters of the governing equations are…

Numerical Analysis · Computer Science 2016-05-18 Daniela Calvetti , Salvatore Cuomo , Monica Pragliola , Erkki Somersalo , Gerardo Toraldo

In these notes we review emergent phenomena in complex systems, emphasizing ways to identify potential underlying universal mechanisms that generates complexity. The discussion is centered around the emergence of collective behavior in…

Disordered Systems and Neural Networks · Physics 2008-04-02 Dante R. Chialvo

Knowledge on evolving physical fields is of paramount importance in science, technology, and economics. Dynamical field inference (DFI) addresses the problem of reconstructing a stochastically driven, dynamically evolving field from finite…

Quantum Physics · Physics 2021-12-22 Margret Westerkamp , Igor Ovchinnikov , Philipp Frank , Torsten Enßlin

Chain-of-thought (CoT) reasoning enables large language models (LLMs) to break down complex problems into interpretable intermediate steps, significantly enhancing model transparency and performance in reasoning tasks. However, conventional…

Machine Learning · Computer Science 2026-01-30 Junda Wu , Yuxin Xiong , Xintong Li , Sheldon Yu , Zhengmian Hu , Tong Yu , Rui Wang , Xiang Chen , Jingbo Shang , Julian McAuley

The particle-flow (PF) algorithm is used in general-purpose particle detectors to reconstruct a comprehensive particle-level view of the collision by combining information from different subdetectors. A graph neural network (GNN) model,…

Data Analysis, Statistics and Probability · Physics 2021-11-29 Farouk Mokhtar , Raghav Kansal , Daniel Diaz , Javier Duarte , Joosep Pata , Maurizio Pierini , Jean-Roch Vlimant

Many disciplines need quantitative models that synthesize experimental data across multiple instances of the same general system. For example, neuroscientists must combine data from the brains of many individual animals to understand the…

Machine Learning · Computer Science 2026-03-17 William E. Bishop , Luuk W. Hesselink , Bernhard Englitz , Misha B. Ahrens , James E. Fitzgerald

Business processes evolve over time to adapt to changing business environments. This requires continuous monitoring of business processes to gain insights into whether they conform to the intended design or deviate from it. The situation…

Machine Learning · Computer Science 2020-09-14 Ghada Elkhawaga , Mervat Abuelkheir , Sherif I. Barakat , Alaa M. Riad , Manfred Reichert

While large language models (LLMs) have demonstrated remarkable reasoning capabilities, they often struggle with complex tasks that require specific thinking paradigms, such as divide-and-conquer and procedural deduction, \etc Previous…

Software Engineering · Computer Science 2025-06-05 Kechi Zhang , Ge Li , Jia Li , Huangzhao Zhang , Jingjing Xu , Hao Zhu , Lecheng Wang , Jia Li , Yihong Dong , Jing Mai , Bin Gu , Zhi Jin

Dynamical mean-field theory (DMFT) provides an optimal local approximation for correlated lattice systems by mapping the lattice onto a self-consistent effective impurity model. To account for the missing long-range correlations, we propose…

Strongly Correlated Electrons · Physics 2026-03-04 S. D. Semenov , A. I. Lichtenstein , A. N. Rubtsov

Satisfiability modulo theory (SMT) consists in testing the satisfiability of first-order formulas over linear integer or real arithmetic, or other theories. In this survey, we explain the combination of propositional satisfiability and…

Logic in Computer Science · Computer Science 2016-06-16 David Monniaux

Large language models (LLMs) are often portrayed as merely imitating linguistic patterns without genuine understanding. We argue that recent findings in mechanistic interpretability (MI), the emerging field probing the inner workings of…

Computation and Language · Computer Science 2026-02-26 Pierre Beckmann , Matthieu Queloz

Self-explaining models are models that reveal decision making parameters in an interpretable manner so that the model reasoning process can be directly understood by human beings. General Linear Models (GLMs) are self-explaining because the…

Machine Learning · Computer Science 2019-05-31 Yingjing Lu , Runde Yang

Inductive reasoning is an essential capability for large language models (LLMs) to achieve higher intelligence, which requires the model to generalize rules from observed facts and then apply them to unseen examples. We present MIRAGE, a…

Computation and Language · Computer Science 2025-03-03 Jiachun Li , Pengfei Cao , Zhuoran Jin , Yubo Chen , Kang Liu , Jun Zhao

Complexity is an interdisciplinary concept which, first of all, addresses the question of how order emerges out of randomness. For many reasons matrices provide a very practical and powerful tool in approaching and quantifying the related…

Soft Condensed Matter · Physics 2008-12-18 S. Drozdz , J. Kwapien , J. Speth , M. Wojcik

While large language models (LLMs) equipped with techniques like chain-of-thought prompting have demonstrated impressive capabilities, they still fall short in their ability to reason robustly in complex settings. However, evaluating LLM…

Computation and Language · Computer Science 2024-03-26 Zayne Sprague , Xi Ye , Kaj Bostrom , Swarat Chaudhuri , Greg Durrett

Language serves as a vehicle for conveying thought, enabling communication among individuals. The ability to distinguish between diverse concepts, identify fairness and injustice, and comprehend a range of legal notions fundamentally relies…

Computation and Language · Computer Science 2023-11-23 Ha-Thanh Nguyen , Wachara Fungwacharakorn , Ken Satoh