Tootfinder

iPanda: An Intelligent Protocol Testing and Debugging Agent for Conformance Testing
Xikai Sun, Fan Dang, Kebin Liu, Xin Miao, Zihao Yang, Haimo Lu, Yawen Zheng, Yunhao Liu
https://arxiv.org/abs/2507.00378

iPanda: An Intelligent Protocol Testing and Debugging Agent for Conformance Testing
Conformance testing is essential for ensuring that protocol implementations comply with their specifications. However, traditional testing approaches involve manually creating numerous test cases and scripts, making the process labor-intensive and inefficient. Recently, Large Language Models (LLMs) have demonstrated impressive text comprehension and code generation abilities, providing promising opportunities for automation. In this paper, we propose iPanda, the first end-to-end framework that …

Affine-Invariant Global Non-Asymptotic Convergence Analysis of BFGS under Self-Concordance
Qiujiang Jin, Aryan Mokhtari
https://arxiv.org/abs/2507.00361 ht…

Affine-Invariant Global Non-Asymptotic Convergence Analysis of BFGS under Self-Concordance
In this paper, we establish global non-asymptotic convergence guarantees for the BFGS quasi-Newton method without requiring strong convexity or the Lipschitz continuity of the gradient or Hessian. Instead, we consider the setting where the objective function is strictly convex and strongly self-concordant. For an arbitrary initial point and any arbitrary positive-definite initial Hessian approximation, we prove global linear and superlinear convergence guarantees for BFGS when the step size is …

All-Optical Inter-Satellite Relays with Intelligent Beam Control: Harnessing Liquid Lenses and Optical Hard Limiters
Mohammad Taghi Dabiri, Mazen Hasna, Saud Althunibat, Khalid Qaraqe
https://arxiv.org/abs/2506.23432

All-Optical Inter-Satellite Relays with Intelligent Beam Control: Harnessing Liquid Lenses and Optical Hard Limiters
Low Earth orbit (LEO) satellite constellations are emerging as a key enabler of next-generation communications, offering global coverage and significantly lower latency compared to traditional terrestrial networks and geostationary satellites. However, further latency reduction is essential for time-critical applications such as real-time sensing, autonomous systems, and interactive services. One critical bottleneck is the optical-to-electrical (O/E) and electrical-to-optical (E/O) conversions …

This https://arxiv.org/abs/2401.07018 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_sta…

Least squares for cardinal paired comparisons data
Least square estimators for graphical models for cardinal paired comparison data with and without covariates are rigorously analyzed. Novel, graph--based, necessary and sufficient conditions that guarantee strong consistency, asymptotic normality and the exponential convergence of the estimated ranks are emphasized. A complete theory for models with covariates is laid out. In particular, conditions under which covariates can be safely omitted from the model are provided. The methodology is empl…

AI's Euclid's Elements Moment: From Language Models to Computable Thought
Xinmin Fang, Lingfeng Tao, Zhengxiong Li
https://arxiv.org/abs/2506.23080

AI's Euclid's Elements Moment: From Language Models to Computable Thought
This paper presents a comprehensive five-stage evolutionary framework for understanding the development of artificial intelligence, arguing that its trajectory mirrors the historical progression of human cognitive technologies. We posit that AI is advancing through distinct epochs, each defined by a revolutionary shift in its capacity for representation and reasoning, analogous to the inventions of cuneiform, the alphabet, grammar and logic, mathematical calculus, and formal logical systems. Th…

AGI Enabled Solutions For IoX Layers Bottlenecks In Cyber-Physical-Social-Thinking Space
Amar Khelloufi, Huansheng Ning, Sahraoui Dhelim, Jianguo Ding
https://arxiv.org/abs/2506.22487

AGI Enabled Solutions For IoX Layers Bottlenecks In Cyber-Physical-Social-Thinking Space
The integration of the Internet of Everything (IoX) and Artificial General Intelligence (AGI) has given rise to a transformative paradigm aimed at addressing critical bottlenecks across sensing, network, and application layers in Cyber-Physical-Social Thinking (CPST) ecosystems. In this survey, we provide a systematic and comprehensive review of AGI-enhanced IoX research, focusing on three key components: sensing-layer data management, network-layer protocol optimization, and application-layer …

This https://arxiv.org/abs/2502.14391 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

Passive leakage removal unit based on a disordered transmon array
Leakage out from the qubit subspace compromises standard quantum error correction protocols and is a challenge for practical quantum computing. We propose a passive leakage removal unit based on an array of coupled disordered transmons and last-site reset by feedback-measurement or dissipation. The transmons have parametric disorder both in frequency and anharmonicity such that the qubit subspace is protected by localization through energy level mismatch while the energy levels for leakage exci…

This https://arxiv.org/abs/2503.00303 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csHC_…

Leveraging Complementary AI Explanations to Mitigate Misunderstanding in XAI
Artificial intelligence explanations can make complex predictive models more comprehensible. To be effective, however, they should anticipate and mitigate possible misinterpretations, e.g., arising when users infer incorrect information that is not explicitly conveyed. To this end, we propose complementary explanations -- a novel method that pairs explanations to compensate for their respective limitations. A complementary explanation adds insights that clarify potential misconceptions stemming…

Boundary bilinear control of semilinear parabolic PDEs: quadratic convergence of the SQP method
Eduardo Casas, Mariano Mateos
https://arxiv.org/abs/2505.24237

Boundary bilinear control of semilinear parabolic PDEs: quadratic convergence of the SQP method
We analyze a bilinear control problem governed by a semilinear parabolic equation. The control variable is the Robin coefficient on the boundary. First-order necessary and second-order sufficient optimality conditions are derived. A sequential quadratic programming algorithm is then proposed to compute local solutions. Starting the iterations from an initial point in an $L^2$-neighborhood of the local solution we prove stability and quadratic convergence of the algorithm in $L^p$ ($p < \infty$)…

The Impact of AI on Educational Assessment: A Framework for Constructive Alignment
Patrick Stokkink
https://arxiv.org/abs/2506.23815 https://

The Impact of AI on Educational Assessment: A Framework for Constructive Alignment
The influence of Artificial Intelligence (AI), and specifically Large Language Models (LLM), on education is continuously increasing. These models are frequently used by students, giving rise to the question whether current forms of assessment are still a valid way to evaluate student performance and comprehension. The theoretical framework developed in this paper is grounded in Constructive Alignment (CA) theory and Bloom's taxonomy for defining learning objectives. We argue that AI influences…