Saved in:
| Main Authors: | Yoneda, Masataka, Matsushita, Yusuke, Kamoda, Go, Suenaga, Kohei, Akiba, Takuya, Waga, Masaki, Yokoi, Sho |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2602.10908 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
SoftMatcha: A Soft and Fast Pattern Matcher for Billion-Scale Corpus Searches
by: Deguchi, Hiroyuki, et al.
Published: (2025)
by: Deguchi, Hiroyuki, et al.
Published: (2025)
Active Learning of Symbolic Mealy Automata
by: Irie, Kengo, et al.
Published: (2025)
by: Irie, Kengo, et al.
Published: (2025)
Ownership Refinement Types for Pointer Arithmetic and Nested Arrays
by: Fujiwara, Yusuke, et al.
Published: (2026)
by: Fujiwara, Yusuke, et al.
Published: (2026)
Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis (Extended Version)
by: Hsieh, Chiao, et al.
Published: (2025)
by: Hsieh, Chiao, et al.
Published: (2025)
Componentwise Automata Learning for System Integration (Extended Version)
by: Fujinami, Hiroya, et al.
Published: (2025)
by: Fujinami, Hiroya, et al.
Published: (2025)
Subspace Representations for Soft Set Operations and Sentence Similarities
by: Ishibashi, Yoichi, et al.
Published: (2022)
by: Ishibashi, Yoichi, et al.
Published: (2022)
Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption
by: Waga, Masaki, et al.
Published: (2024)
by: Waga, Masaki, et al.
Published: (2024)
Parametric Timed Pattern Matching
by: Waga, Masaki, et al.
Published: (2019)
by: Waga, Masaki, et al.
Published: (2019)
TAID: Temporally Adaptive Interpolated Distillation for Efficient Knowledge Transfer in Language Models
by: Shing, Makoto, et al.
Published: (2025)
by: Shing, Makoto, et al.
Published: (2025)
Fair Division with Soft Conflicts
by: Yoneda, Hirotaka, et al.
Published: (2026)
by: Yoneda, Hirotaka, et al.
Published: (2026)
Hyper pattern matching
by: Waga, Masaki, et al.
Published: (2025)
by: Waga, Masaki, et al.
Published: (2025)
Hyper parametric timed CTL
by: Waga, Masaki, et al.
Published: (2024)
by: Waga, Masaki, et al.
Published: (2024)
Linear Representations of Hierarchical Concepts in Language Models
by: Sakata, Masaki, et al.
Published: (2026)
by: Sakata, Masaki, et al.
Published: (2026)
On Entity Identification in Language Models
by: Sakata, Masaki, et al.
Published: (2025)
by: Sakata, Masaki, et al.
Published: (2025)
The Curse of Popularity: Popular Entities have Catastrophic Side Effects when Deleting Knowledge from Language Models
by: Takahashi, Ryosuke, et al.
Published: (2024)
by: Takahashi, Ryosuke, et al.
Published: (2024)
Model-bounded monitoring of hybrid systems
by: Waga, Masaki, et al.
Published: (2021)
by: Waga, Masaki, et al.
Published: (2021)
Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination
by: Okudono, Takamasa, et al.
Published: (2024)
by: Okudono, Takamasa, et al.
Published: (2024)
How a Bilingual LM Becomes Bilingual: Tracing Internal Representations with Sparse Autoencoders
by: Inaba, Tatsuro, et al.
Published: (2025)
by: Inaba, Tatsuro, et al.
Published: (2025)
Weight-based Analysis of Detokenization in Language Models: Understanding the First Stage of Inference Without Inference
by: Kamoda, Go, et al.
Published: (2025)
by: Kamoda, Go, et al.
Published: (2025)
Analyzing Feed-Forward Blocks in Transformers through the Lens of Attention Maps
by: Kobayashi, Goro, et al.
Published: (2023)
by: Kobayashi, Goro, et al.
Published: (2023)
Distributed Asymmetric Allocation: A Topic Model for Large Imbalanced Corpora in Social Sciences
by: Watanabe, Kohei
Published: (2025)
by: Watanabe, Kohei
Published: (2025)
Can Language Models Handle a Non-Gregorian Calendar? The Case of the Japanese wareki
by: Sasaki, Mutsumi, et al.
Published: (2025)
by: Sasaki, Mutsumi, et al.
Published: (2025)
SoftCoT++: Test-Time Scaling with Soft Chain-of-Thought Reasoning
by: Xu, Yige, et al.
Published: (2025)
by: Xu, Yige, et al.
Published: (2025)
Zipfian Whitening
by: Yokoi, Sho, et al.
Published: (2024)
by: Yokoi, Sho, et al.
Published: (2024)
On the Scaling of PEFT: Towards Million Personal Models of Trillion Parameters
by: Lab, Mind, et al.
Published: (2026)
by: Lab, Mind, et al.
Published: (2026)
Pure Borrow: Linear Haskell Meets Rust-Style Borrowing
by: Matsushita, Yusuke, et al.
Published: (2026)
by: Matsushita, Yusuke, et al.
Published: (2026)
Every Step Evolves: Scaling Reinforcement Learning for Trillion-Scale Thinking Model
by: Ling Team, et al.
Published: (2025)
by: Ling Team, et al.
Published: (2025)
Why Mean Pooling Works: Quantifying Second-Order Collapse in Text Embeddings
by: Hara, Tomomasa, et al.
Published: (2026)
by: Hara, Tomomasa, et al.
Published: (2026)
Quantifying Lexical Semantic Shift via Unbalanced Optimal Transport
by: Kishino, Ryo, et al.
Published: (2024)
by: Kishino, Ryo, et al.
Published: (2024)
Scaling Laws for Upcycling Mixture-of-Experts Language Models
by: Liew, Seng Pei, et al.
Published: (2025)
by: Liew, Seng Pei, et al.
Published: (2025)
A Case Study on Runtime Verification of a Continuous Deployment Process
by: Ansai, Shoma, et al.
Published: (2026)
by: Ansai, Shoma, et al.
Published: (2026)
BeyondWeb: Lessons from Scaling Synthetic Data for Trillion-scale Pretraining
by: DatologyAI, et al.
Published: (2025)
by: DatologyAI, et al.
Published: (2025)
Intern-S1-Pro: Scientific Multimodal Foundation Model at Trillion Scale
by: Zou, Yicheng, et al.
Published: (2026)
by: Zou, Yicheng, et al.
Published: (2026)
Scaling Retrieval-Based Language Models with a Trillion-Token Datastore
by: Shao, Rulin, et al.
Published: (2024)
by: Shao, Rulin, et al.
Published: (2024)
Every Activation Boosted: Scaling General Reasoner to 1 Trillion Open Language Foundation
by: Ling Team, et al.
Published: (2025)
by: Ling Team, et al.
Published: (2025)
SoftCoT: Soft Chain-of-Thought for Efficient Reasoning with LLMs
by: Xu, Yige, et al.
Published: (2025)
by: Xu, Yige, et al.
Published: (2025)
Trillion 7B Technical Report
by: Han, Sungjun, et al.
Published: (2025)
by: Han, Sungjun, et al.
Published: (2025)
StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs
by: Kawamoto, Yusuke, et al.
Published: (2024)
by: Kawamoto, Yusuke, et al.
Published: (2024)
Large Language Models are Pattern Matchers: Editing Semi-Structured and Structured Documents with ChatGPT
by: Weber, Irene
Published: (2024)
by: Weber, Irene
Published: (2024)
VeriSoftBench: Repository-Scale Formal Verification Benchmarks for Lean
by: Xin, Yutong, et al.
Published: (2026)
by: Xin, Yutong, et al.
Published: (2026)
Similar Items
-
SoftMatcha: A Soft and Fast Pattern Matcher for Billion-Scale Corpus Searches
by: Deguchi, Hiroyuki, et al.
Published: (2025) -
Active Learning of Symbolic Mealy Automata
by: Irie, Kengo, et al.
Published: (2025) -
Ownership Refinement Types for Pointer Arithmetic and Nested Arrays
by: Fujiwara, Yusuke, et al.
Published: (2026) -
Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis (Extended Version)
by: Hsieh, Chiao, et al.
Published: (2025) -
Componentwise Automata Learning for System Integration (Extended Version)
by: Fujinami, Hiroya, et al.
Published: (2025)