# Kaons Description: Research papers, figures, and notes on LLM reasoning reliability, operator learning, scientific machine learning, connectomics, and NLP evaluation. Homepage: [https://www.kaons.com/](https://www.kaons.com/) Research: [https://www.kaons.com/research](https://www.kaons.com/research) Blog: [https://www.kaons.com/blog](https://www.kaons.com/blog) Sitemap: [https://www.kaons.com/sitemap.xml](https://www.kaons.com/sitemap.xml) Short index: [https://www.kaons.com/llms.txt](https://www.kaons.com/llms.txt) Contact: [contact@kaons.org](mailto:contact@kaons.org) ## Papers - [Drift Dominates Contradiction in Multi-Turn Constraint Reasoning](https://www.kaons.com/research/drift-dominates-contradiction/paper.md) Canonical: [HTML](https://www.kaons.com/research/drift-dominates-contradiction) Venue: ICLR 2026 Workshop on Reasoning and Planning for LLMs Status: Accepted Summary: Shows that after solver-guided repair, the dominant failure mode is not contradiction but answers that violate a still-satisfiable maintained state. Abstract: Shows that after solver-guided repair, the dominant failure mode is not contradiction but satisfiable drift, where the maintained state remains consistent while the returned answer violates prior commitments. Metrics: 816 problems · 4 open-weight models · 68–95% of residual errors are satisfiable drift Keywords: LLM reasoning, verification, constraint reasoning Visual: [figure](https://www.kaons.com/papers/drift-turn-depth-iclr-2026.png) Resources: [PDF](https://www.kaons.com/papers/drift-dominates-contradiction-iclr-2026.pdf) · [OpenReview](https://openreview.net/forum?id=B9gtT1hhEm) - [Four-Term Finite-Sample OOD Transfer Bound for Fourier Neural Operators](https://www.kaons.com/research/four-term-fno-bound/paper.md) Canonical: [HTML](https://www.kaons.com/research/four-term-fno-bound) Venue: MathAI 2026 Status: Accepted Summary: Derives a finite-sample transfer bound for nonlinear Fourier Neural Operators that separates complexity, discretization, distribution shift, and mesh aliasing. Abstract: Derives a finite-sample transfer bound for nonlinear Fourier Neural Operators that separates complexity, discretization, distribution shift, and mesh aliasing. Metrics: Four channels · Darcy, Helmholtz, and Burgers diagnostics · aliasing made explicit Keywords: FNO, operator learning, generalization Visual: [figure](https://www.kaons.com/papers/fno-four-term.png) Resources: [PDF](https://www.kaons.com/papers/four-term-fno-bound-mathai-2026.pdf) - [Scalable Comparative Connectomics: Interpretable Machine Learning Reveals Evolutionary Signatures and Reconstruction Artifacts](https://www.kaons.com/research/comparative-connectomics/paper.md) Canonical: [HTML](https://www.kaons.com/research/comparative-connectomics) Venue: IEEE ICBCB 2026 Status: Accepted Summary: Uses minimal neuron-level features to recover species-level signatures while showing how missing-data handling can create reconstruction artifacts. Abstract: Uses minimal neuron-level features to recover species-level signatures while showing how missing-data handling can create reconstruction artifacts. Metrics: 176,914 neurons · 5 species · 92.2% Random Forest accuracy Keywords: connectomics, interpretable ML, comparative biology Visual: [figure](https://www.kaons.com/papers/connectomics-length-synapse.png) Resources: [PDF](https://www.kaons.com/papers/scalable-comparative-connectomics-icbcb-2026.pdf) - [AsymVerify at SemEval-2026 Task 6: Asymmetric Confidence-Gated Verification for Political Evasion Detection](https://www.kaons.com/research/asymverify-political-evasion/paper.md) Canonical: [HTML](https://www.kaons.com/research/asymverify-political-evasion) Venue: SemEval 2026 Task 6 Status: Published Summary: A confidence-gated verification pipeline for political evasion detection where opposing verification passes both route corrections through the Ambivalent class. Abstract: A confidence-gated verification pipeline for political evasion detection where opposing verification passes both route corrections through the Ambivalent class. Metrics: 85% Macro F1 · rank 2 · +5.2 to +21.7 over zero-shot Keywords: NLP evaluation, political evasion, verification Visual: [figure](https://www.kaons.com/papers/asymverify-embedding-clusters.png) Resources: [PDF](https://www.kaons.com/papers/asymverify-semeval-2026.pdf) - [CascadeMind at SemEval-2026 Task 4: A Hybrid Neuro-Symbolic Cascade for Narrative Similarity](https://www.kaons.com/research/cascademind-narrative-similarity/paper.md) Canonical: [HTML](https://www.kaons.com/research/cascademind-narrative-similarity) Venue: SemEval 2026 Task 4 Status: Published Summary: Treats vote distribution as a difficulty signal, routing easy cases through supermajority voting and reserving symbolic checks for the ambiguous tail. Abstract: Treats vote distribution as a difficulty signal, routing easy cases through supermajority voting and reserving symbolic checks for the ambiguous tail. Metrics: 72.75% accuracy · 11/47 teams · 74% resolved without escalation Keywords: narrative similarity, routing, neuro-symbolic Resources: [arXiv](https://arxiv.org/abs/2601.19931) ## Notes - [Understanding Transformer Attention: From Scratch to Flash Attention](https://www.kaons.com/blog/transformer-attention-mechanisms/post.md) Canonical: [HTML](https://www.kaons.com/blog/transformer-attention-mechanisms) Date: 2025-11-15 Summary: A deep dive into attention mechanisms — from the original scaled dot-product formulation to modern Flash Attention and its hardware-aware algorithmic design. - [Rust's Memory Model: What Systems Programmers Actually Need to Know](https://www.kaons.com/blog/rust-memory-model/post.md) Canonical: [HTML](https://www.kaons.com/blog/rust-memory-model) Date: 2025-09-20 Summary: Beyond the borrow checker — understanding Rust's memory model, unsafe abstractions, and how they enable zero-cost concurrency. - [Bayesian Optimization for Hyperparameter Tuning: A Practical Guide](https://www.kaons.com/blog/bayesian-optimization/post.md) Canonical: [HTML](https://www.kaons.com/blog/bayesian-optimization) Date: 2025-07-10 Summary: How Gaussian processes and acquisition functions can replace grid search — with implementation notes for real-world ML pipelines. - [Time Is an Illusion: Logical Clocks in Distributed Systems](https://www.kaons.com/blog/distributed-systems-clocks/post.md) Canonical: [HTML](https://www.kaons.com/blog/distributed-systems-clocks) Date: 2025-04-22 Summary: Why you can't trust wall clocks in distributed systems, and how Lamport timestamps, vector clocks, and hybrid logical clocks solve ordering. - [Information Geometry: The Shape of Probability](https://www.kaons.com/blog/information-geometry/post.md) Canonical: [HTML](https://www.kaons.com/blog/information-geometry) Date: 2025-02-01 Summary: How differential geometry provides a natural framework for understanding statistical models, with connections to natural gradient descent.