Automatic detection of reflective thinking in math problem solving using body movement data.
problem Detecting reflective thinking in children's mathematical problem solving.
method WeDraw-1 Movement Dataset, Long Short-Term Memory neural networks, end-to-end detection.
result Average F1 scores of 0.73 for automatic detection and 0.79 for end-to-end detection of reflective thinking.
Human inertial thinking schemes can be formed through learning, which are then applied to quickly solve similar problems later. However, when problems are significantly different, inertial thinking generally presents the solutions that are definitely imperfect. In such cases, people will apply creative thinking, such a…
CausalGame benchmarks LLM agents' causal thinking in games.
problem Evaluating causal thinking in AI Scientists with LLMs.
method Interactive games with 14 scenarios incorporating selection bias, measurement error, and hidden confounders.
result None of the 30 LLM agents demonstrated reliable causal thinking, with the best model achieving only 68.0% survival.
Paper tackles conditional learning between different domains.
problem Learning conditional distribution between input and output domains.
method Cooperative training of fast and slow thinking models.
result Jointly trained models improve conditional learning tasks.
This paper uses counterfactual thinking to improve multi-agent reinforcement learning.
problem Improving decision-making in multi-agent environments.
method Proposes a deep reinforcement learning model with counterfactual thinking to generate and evaluate multiple actions.
result Counterfactual thinking enhances agents' performance in multi-agent environments, leading to higher rewards and fair competition.
Text-to-Image translation has been an active area of research in the recent past. The ability for a network to learn the meaning of a sentence and generate an accurate image that depicts the sentence shows ability of the model to think more like humans. Popular methods on text to image translation make use of Generativ…
The seriousness of the current crisis urgently demands new economic thinking that breaks the austerity vs. deficit spending circle in economic policy. The core tenet of the paper is that the most important problems that natural and social science are facing today are inverse problems, and that a new approach that goes …
Look-ahead reasoning helps predict strategic user behavior on learning platforms.
problem Optimization criteria on learning platforms do not reflect users' priorities.
method Formalized level-k thinking and contrasted collective and selfish behavior.
result Coordination benefits users but does not offer higher-level reasoning advantages in the long run.
New approach tackles nonidentifiability in nonlinear blind source separation.
problem Nonidentifiability in nonlinear blind source separation.
method Independent mechanism analysis, incorporating causal assumptions.
result Empirical and theoretical evidence shows improved identifiability.
A new reinforcement learning method for robots thinking and moving simultaneously.
problem Concurrent control in robotic systems where actions must be decided while the system is still evolving.
method Continuous-time Bellman equations, discretization aware of system delays, and architectural extension to deep reinforcement learning.
result The method successfully handles tasks requiring simultaneous decision-making and action execution.
Breiman's two cultures reconciled through blending statistical thinking.
problem Tension between parametric statistical and machine learning approaches.
method Establishing a link between parametric statistical and machine learning frameworks.
result Integrated statistical thinking can bridge the gap between two cultures.
The paper encourages Kleinian group thinking for higher rank Lie groups.
problem No specific problem stated; encouraging new thinking.
method Discussion of Kleinian group ideas applied to higher rank Lie groups.
result Encouragement to think about higher rank Lie groups using Kleinian group theory.
Turing test relevance questioned in age of AI.
problem Relevance of Turing test in AI age.
method Examining cultural and technological context.
result Turing test may not fully capture AI capabilities.
Causal thinking improves healthcare decisions from EHRs.
problem Shortcuts in data lead to biased healthcare decisions.
method Step-by-step framework for valid decision making from EHRs.
result Valid decision making requires careful analysis of EHR data.
Simplified proof of a famous geometry result for students.
problem Mostow Rigidity in geometry and topology
method Self-contained, accessible proof for grad students
result Clean and analytically light proof accessible to students
Model learns brevity by exposing to easy problems, improving efficiency without explicit length penalties.
problem Excessive verbosity in step-by-step reasoning models trained with RLVR.
method Retaining and up-weighting moderately easy problems as implicit length regularizers.
result Model generates solutions that are, on average, nearly twice as short without explicit length penalties.
Thinking LLMs struggle with stock prediction, especially as data complexity increases.
problem Evaluating the performance of 'thinking' LLMs in stock prediction, especially under varying levels of cross-sectional complexity.
method Rolling 48m/1m walk-forward evaluation, comparing direct LLMs, TLLMs, and classical learners on cross-sectional ranking loss, MSE, and backtests with transaction costs.
result TLLMs' ranking quality deteriorates as cross-sectional complexity grows, while direct LLMs remain stable.
We present a general framework for training deep neural networks without backpropagation. This substantially decreases training time and also allows for construction of deep networks with many sorts of learners, including networks whose layers are defined by functions that are not easily differentiated, like decision t…
New framework for RL with opponents, improving learning outcomes.
problem Learning in RL with potential adversaries.
method Threatened Markov Decision Processes (TMDPs) and level-k thinking.
result Improved RL performance by accounting for adversaries.
This paper develops a general framework for metric learning in RKHS with theoretical guarantees.
problem Learning a metric in RKHS from triplet comparisons.
method Develops a general RKHS framework for metric learning with theoretical guarantees.
result Provides novel generalization guarantees and sample complexity bounds for metric learning in RKHS.
The use of the trading halts is a practice common to all markets. However, the advantages and the disadvantages of the measurements are regularly discussed. The partisans think that the trading suspensions or the price limits make it possible to the investors to have time to react to the new information. The detractors…
DGP learns speech recognition by modeling complex relationships between utterances.
problem Modeling complex relationships in speech recognition without relational data.
method Bayesian nonparametric deep learning method (DGP) that generates infinite probabilistic graphs.
result DGP successfully infers relationships among utterances without relational data during training.
Recent progress in artificial intelligence (AI) has renewed interest in building systems that learn and think like people. Many advances have come from using deep neural networks trained end-to-end in tasks such as object recognition, video games, and board games, achieving performance that equals or even beats humans …
Paper develops an attention mechanism for long-term scientific impact prediction.
problem Predicting the long-term impact of scientific papers based on citation records.
method Develops an attention mechanism to predict long-term scientific impact.
result Emphasizing the limited attention can better stand on the shoulders of giants.
Simple model outperforms neural networks on language understanding tasks.
problem Neural networks struggle with creating novel expressions from familiar ones.
method Attention-inspired modification of a baseline model, focusing on sequential thinking and acting.
result Simple model achieves good performance on gSCAN tasks, validating the benchmark.
The success of deep neural networks has inspired many to wonder whether other learners could benefit from deep, layered architectures. We present a general framework called forward thinking for deep learning that generalizes the architectural flexibility and sophistication of deep neural networks while also allowing fo…
New technique reduces language biases in large language models.
problem Gap between language and thought in large language models.
method Proposes Language-of-Thoughts (LoT) technique to adjust order and tokens.
result Significantly reduces language biases and improves reasoning tasks.
Compendium simplifies Ehreshmann theory for physicists.
problem Complexity in Ehreshmann theory of connection.
method Comprehensive review and simplification of theory.
result Simplified theory accessible to young relativists.
TSDS framework reduces edge LLM agent compute by 43%-73% while maintaining safety and reliability.
problem Managing reasoning budget and uncertainty in edge LLM agents.
method Integrates a lightweight convergence probe and a perplexity-based deferral rule calibrated via multi-objective LTT.
result Reduces per-episode thinking compute by 43%-73% over deferral-only baselines.
Breiman's paper sparked debate on the future of statistics and machine learning.
problem The tension between traditional statistical modeling and model-free machine learning approaches.
method Discussion of the implications of machine learning's success and the need for new inferential approaches.
result The importance of understanding 'why' and 'if' questions in machine learning is now recognized.
Can we manipulate multiple deep neural networks simultaneously?
problem Selective fooling of multiple machine learning systems.
method Formulated as a novel optimization problem.
result It is easy to selectively manipulate multiple MNIST classifiers simultaneously.
Research suggests using deep learning for better recommendation systems.
problem Recommender systems rely on proxies for A/B testing, leading to random success.
method Advocates for using deep learning to improve recommendation performance.
result Deep learning can potentially optimize reward in recommendation systems.
AI-driven Bayesian inference improves decision-making uncertainty.
problem Lack of certainty in AI predictions.
method Non-parametric Bayesian framework with Dirichlet process prior and AI-driven baseline.
result AI predictions can be integrated into Bayesian analysis for predictive inference and uncertainty quantification.
In this paper we study n-composition series of affine manifolds. One composition series are classified using gerbe theory. It is natural to think that n-composition series must be classified using n-gerbe theory. In the last section of this, we propose a notion of abelian n-gerbe theory
The paper converts metric bounds to distance function Hölder bounds and proves compactness theorems.
problem Proving geometric stability results with scalar curvature bounds.
method Transforming Lp bounds to Hölder bounds for distance functions. result Compactness theorems and convergence guarantees for Riemannian manifolds.
A discrete subgroup of the group of isometries of the hyperbolic space is called reflective if up to a finite index it is generated by reflections in hyperplanes. The main result of this paper is a complete classification of the reflective (and quasi-reflective) subgroups among the Bianchi groups and their extensions.
New method produces reflections with nonseparating fixed points.
problem Constructing hyperbolic manifolds with reflective symmetries.
method Standard method for constructing closed hyperbolic manifolds.
result Fixed point sets of reflections are nonseparating.
Survey explores interactions between four conformal dynamics branches.
problem Understanding complex dynamics through different mathematical concepts.
method Examples and general results with technical tools.
result Dynamical relations between Schwarz reflection parameter spaces and anti-rational maps/ reflection groups.
One reflection suffices for orthogonal weights, reducing GPU usage.
problem Efficiently computing orthogonal weight matrices without high GPU utilization.
method Use an auxiliary neural network to compute one reflection instead of many.
result One reflection is sufficient for orthogonal weights, improving GPU utilization.
We argue that the present crisis and stalling economy continuing since 2007 are rooted in the delusionary belief in policies based on a "perpetual money machine" type of thinking. We document strong evidence that, since the early 1980s, consumption has been increasingly funded by smaller savings, booming financial prof…
DRNets combine deep learning and reasoning for complex tasks.
problem Solving complex tasks, especially in scientific discovery, with limited supervision.
method DRNets integrate logic and neural network optimization to encode structured latent spaces constrained by prior knowledge.
result DRNets outperform state-of-the-art models in scientific discovery tasks, recovering more precise crystal structures.
Minimal surfaces in 3-sphere created by reflections from polygons, with new examples based on pentagons.
problem Constructing minimal surfaces in 3-sphere using reflections.
method Minimal n-gon solves free boundary problem; curvature lines combinatorics investigated. result New examples of minimal reflection surfaces based on pentagons.
There is no doubt that both the special and general theories of relativity capture the imagination. The anti-intuitive properties of the special theory of relativity and its deep philosophical implications, the bizzare and dazzling predictions of the general theory of relativity: the curvature of spacetime, the exotic …
Open geometry puzzles keep the author engaged.
problem Open problems in geometry that challenge the author.
method Collection of open problems based on puzzle-charm.
result No spare hands in solving the problems.
We prove new results on existence of solutions for the prescribed gaussian curvature problem on the euclidean sphere S^2. Those results are achieved by relating this problem with the holomorphic triples theory on Riemann surfaces. We think this approach might be applied to study some other semi-linear elliptic equation…
Study thin hyperbolic reflection groups and their properties.
problem Characterize and enumerate thin hyperbolic reflection groups.
method Analyze Zariski dense subgroups of hyperbolic isometries, apply Vinberg algorithm.
result All thin hyperbolic reflection groups are enumerable.
Minimal surfaces reflect across spheres, proving annulus uniqueness.
problem Uniqueness of free boundary minimal annuli in balls.
method Reflection principle applied to minimal surfaces meeting spheres at 90 degrees.
result Every embedded free boundary minimal annulus in a ball is the critical catenoid.
The paper classifies a specific type of hyperbolic lattices using geometric properties.
problem Classifying (1,2)-reflective anisotropic hyperbolic lattices of rank 4. method Using geometric properties of the fundamental polyhedron of a cocompact reflection group in three-dimensional Lobachevsky space.
result A classification of (1,2)-reflective anisotropic hyperbolic lattices of rank 4.