Tootfinder

Opt-in global Mastodon full text search. Join the index!

@noellabo@fedibird.com
2025-06-12 07:23:39

これ読むといいんじゃないかな。うえのさんの。
--
二つのクリスマス. ——何かを「待ちのぞむ」ということ | by ueno | Medium
oryzivora.page/二つのクリスマス-750d0b

@arXiv_csRO_bot@mastoxiv.page
2025-06-10 17:07:39

This arxiv.org/abs/2502.10090 has been replaced.
initial toot: mastoxiv.page/@arXiv_csRO_…

@arXiv_csCV_bot@mastoxiv.page
2025-06-10 19:07:51

This arxiv.org/abs/2506.00558 has been replaced.
initial toot: mastoxiv.page/@arXiv_csCV_…

@arXiv_csCR_bot@mastoxiv.page
2025-06-10 16:38:09

This arxiv.org/abs/2506.05394 has been replaced.
initial toot: mastoxiv.page/@arXiv_csCR_…

@arXiv_csDC_bot@mastoxiv.page
2025-06-12 07:32:11

Frosty for partial synchrony
Stephen Buttolph, Andrew Lewis-Pye, Kevin Sekniqi
arxiv.org/abs/2506.09823 arxiv.org/pdf…

@arXiv_eessIV_bot@mastoxiv.page
2025-06-10 17:07:09

This arxiv.org/abs/2501.09799 has been replaced.
initial toot: mastoxiv.page/@arXiv_ees…

@arXiv_csAI_bot@mastoxiv.page
2025-06-11 07:32:33

ALE-Bench: A Benchmark for Long-Horizon Objective-Driven Algorithm Engineering
Yuki Imajuku, Kohki Horie, Yoichi Iwata, Kensho Aoki, Naohiro Takahashi, Takuya Akiba
arxiv.org/abs/2506.09050

@arXiv_csLG_bot@mastoxiv.page
2025-06-12 14:51:07

Replaced article(s) found for cs.LG. arxiv.org/list/cs.LG/new/
[6/7]:
Spatial Reasoning with Denoising Models

@arXiv_csLO_bot@mastoxiv.page
2025-06-11 07:44:03

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy
Liesbeth De Mol, Yuri V. Matiyasevich, Eugenio G. Omodeo, Alberto Policriti, Wilfried Sieg, Elaine J. Weyuker
arxiv.org/abs/2506.08588

@arXiv_mathCT_bot@mastoxiv.page
2025-06-11 08:07:05

Thomason's colimit theorem for the double category of elements
Andrew Gill, Maru Sarazola
arxiv.org/abs/2506.08246

@arXiv_mathAP_bot@mastoxiv.page
2025-06-10 17:07:19

This arxiv.org/abs/2409.02516 has been replaced.
initial toot: mastoxiv.page/@arXiv_mat…

@arXiv_csPL_bot@mastoxiv.page
2025-06-11 07:49:04

Gradual Metaprogramming
Tianyu Chen, Darshal Shetty, Jeremy G. Siek, Chao-Hong Chen, Weixi Ma, Arnaud Venet, Rocky Liu
arxiv.org/abs/2506.09043

@arXiv_csCL_bot@mastoxiv.page
2025-06-12 09:21:11

From Judgment to Interference: Early Stopping LLM Harmful Outputs via Streaming Content Monitoring
Yang Li, Qiang Sheng, Yehan Yang, Xueyao Zhang, Juan Cao
arxiv.org/abs/2506.09996

@arXiv_eessSP_bot@mastoxiv.page
2025-06-10 17:07:49

This arxiv.org/abs/2506.03770 has been replaced.
initial toot: mastoxiv.page/@arXiv_ees…

@arXiv_mathGT_bot@mastoxiv.page
2025-06-10 17:17:49

This arxiv.org/abs/2506.04437 has been replaced.
initial toot: mastoxiv.page/@arXiv_mat…

@arXiv_csCV_bot@mastoxiv.page
2025-06-10 19:07:31

This arxiv.org/abs/2505.24718 has been replaced.
initial toot: mastoxiv.page/@arXiv_csCV_…

@arXiv_csRO_bot@mastoxiv.page
2025-06-10 17:29:49

This arxiv.org/abs/2506.04147 has been replaced.
initial toot: mastoxiv.page/@arXiv_csRO_…

@arXiv_csCR_bot@mastoxiv.page
2025-06-10 16:36:59

This arxiv.org/abs/2506.05376 has been replaced.
initial toot: mastoxiv.page/@arXiv_csCR_…

@arXiv_csDC_bot@mastoxiv.page
2025-06-12 07:30:41

Understanding the Performance and Power of LLM Inferencing on Edge Accelerators
Mayank Arya, Yogesh Simmhan
arxiv.org/abs/2506.09554

@arXiv_csAI_bot@mastoxiv.page
2025-06-11 07:32:23

VIKI-R: Coordinating Embodied Multi-Agent Cooperation via Reinforcement Learning
Li Kang, Xiufeng Song, Heng Zhou, Yiran Qin, Jie Yang, Xiaohong Liu, Philip Torr, Lei Bai, Zhenfei Yin
arxiv.org/abs/2506.09049

@arXiv_csLG_bot@mastoxiv.page
2025-06-12 14:50:07

Replaced article(s) found for cs.LG. arxiv.org/list/cs.LG/new/
[3/7]:
Low-Loss Space in Neural Networks is Continuous and Fully Connected

@arXiv_csLO_bot@mastoxiv.page
2025-06-11 07:43:13

Compositional Reasoning for Parametric Probabilistic Automata
Hannah Mertens, Tim Quatmann, Joost-Pieter Katoen
arxiv.org/abs/2506.08525

@arXiv_csPL_bot@mastoxiv.page
2025-06-11 07:48:34

Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline
Lifan Hu
arxiv.org/abs/2506.08396

@arXiv_csCL_bot@mastoxiv.page
2025-06-12 09:20:52

Large Language Models for Toxic Language Detection in Low-Resource Balkan Languages
Amel Muminovic, Amela Kadric Muminovic
arxiv.org/abs/2506.09992

@arXiv_csCV_bot@mastoxiv.page
2025-06-10 19:07:11

This arxiv.org/abs/2505.24247 has been replaced.
initial toot: mastoxiv.page/@arXiv_csCV_…

@arXiv_mathGT_bot@mastoxiv.page
2025-06-10 17:14:09

This arxiv.org/abs/2412.02003 has been replaced.
initial toot: mastoxiv.page/@arXiv_mat…

@arXiv_csRO_bot@mastoxiv.page
2025-06-10 17:28:29

This arxiv.org/abs/2506.04120 has been replaced.
initial toot: mastoxiv.page/@arXiv_csRO_…

@arXiv_csCR_bot@mastoxiv.page
2025-06-10 16:36:09

This arxiv.org/abs/2506.03940 has been replaced.
initial toot: mastoxiv.page/@arXiv_csCR_…

@arXiv_csDC_bot@mastoxiv.page
2025-06-12 07:29:51

On the Performance of Cloud-based ARM SVE for Zero-Knowledge Proving Systems
Dumitrel Loghin, Shuang Liang, Shengwei Liu, Xiong Liu, Pingcheng Ruan, Zhigang Ye
arxiv.org/abs/2506.09505

@arXiv_csAI_bot@mastoxiv.page
2025-06-11 07:31:13

AbstentionBench: Reasoning LLMs Fail on Unanswerable Questions
Polina Kirichenko, Mark Ibrahim, Kamalika Chaudhuri, Samuel J. Bell
arxiv.org/abs/2506.09038

@arXiv_csLO_bot@mastoxiv.page
2025-06-11 07:42:13

Forward and Backward Simulations for Partially Observable Probability
Chris Chen, Annabelle McIver, Carroll Morgan
arxiv.org/abs/2506.08437

@arXiv_csPL_bot@mastoxiv.page
2025-06-11 07:48:14

Verification of the Release-Acquire Semantics
Parosh Abdulla, Elli Anastasiadi, Mohamed Faouzi Atig, Samuel Grahn
arxiv.org/abs/2506.08238

@arXiv_csCL_bot@mastoxiv.page
2025-06-12 09:13:12

Step-by-step Instructions and a Simple Tabular Output Format Improve the Dependency Parsing Accuracy of LLMs
Hiroshi Matsuda, Chunpeng Ma, Masayuki Asahara
arxiv.org/abs/2506.09983

@arXiv_csRO_bot@mastoxiv.page
2025-06-10 17:27:29

This arxiv.org/abs/2506.02215 has been replaced.
initial toot: mastoxiv.page/@arXiv_csRO_…

@arXiv_csCR_bot@mastoxiv.page
2025-06-10 16:34:39

This arxiv.org/abs/2505.12453 has been replaced.
initial toot: mastoxiv.page/@arXiv_csCR_…

@arXiv_csDC_bot@mastoxiv.page
2025-06-12 07:29:21

Efficient Task Graph Scheduling for Parallel QR Factorization in SLSQP
Soumyajit Chatterjee, Rahul Utkoor, Uppu Eshwar, Sathya Peri, V. Krishna Nandivada
arxiv.org/abs/2506.09463

@arXiv_csAI_bot@mastoxiv.page
2025-06-11 07:28:23

A Survey of Link Prediction in N-ary Knowledge Graphs
Jiyao Wei, Saiping Guan, Da Li, Xiaolong Jin, Jiafeng Guo, Xueqi Cheng
arxiv.org/abs/2506.08970

@arXiv_csLO_bot@mastoxiv.page
2025-06-11 07:39:53

Approximate Axiomatization for Differentially-Defined Functions
Andr\'e Platzer, Long Qian
arxiv.org/abs/2506.08233

@arXiv_csRO_bot@mastoxiv.page
2025-06-10 17:26:00

This arxiv.org/abs/2505.21652 has been replaced.
initial toot: mastoxiv.page/@arXiv_csRO_…

@arXiv_csPL_bot@mastoxiv.page
2025-06-11 07:47:34

[2025-06-11 Wed (UTC), 3 new articles found for cs.PL Programming Languages]
toXiv_bot_toot

@arXiv_csCL_bot@mastoxiv.page
2025-06-12 09:08:01

When Detection Fails: The Power of Fine-Tuned Models to Generate Human-Like Social Media Text
Hillary Dawkins, Kathleen C. Fraser, Svetlana Kiritchenko
arxiv.org/abs/2506.09975

@arXiv_csCR_bot@mastoxiv.page
2025-06-10 16:33:19

This arxiv.org/abs/2505.11963 has been replaced.
initial toot: mastoxiv.page/@arXiv_csCR_…

@arXiv_csDC_bot@mastoxiv.page
2025-06-12 07:28:31

SLED: A Speculative LLM Decoding Framework for Efficient Edge Serving
Xiangchen Li, Dimitrios Spatharakis, Saeid Ghafouri, Jiakun Fan, Dimitrios Nikolopoulos
arxiv.org/abs/2506.09397

@arXiv_csLO_bot@mastoxiv.page
2025-06-11 07:38:34

[2025-06-11 Wed (UTC), 4 new articles found for cs.LO Logic in Computer Science]
toXiv_bot_toot

@arXiv_csRO_bot@mastoxiv.page
2025-06-10 17:18:19

This arxiv.org/abs/2505.08230 has been replaced.
initial toot: mastoxiv.page/@arXiv_csRO_…

@arXiv_csCR_bot@mastoxiv.page
2025-06-10 16:32:29

This arxiv.org/abs/2504.15585 has been replaced.
initial toot: mastoxiv.page/@arXiv_csCR_…

@arXiv_csCL_bot@mastoxiv.page
2025-06-12 09:06:51

Resa: Transparent Reasoning Models via SAEs
Shangshang Wang, Julian Asilis, \"Omer Faruk Akg\"ul, Enes Burak Bilgin, Ollie Liu, Deqing Fu, Willie Neiswanger
arxiv.org/abs/2506.09967

@arXiv_csDC_bot@mastoxiv.page
2025-06-12 07:28:01

ScalableHD: Scalable and High-Throughput Hyperdimensional Computing Inference on Multi-Core CPUs
Dhruv Parikh, Viktor Prasanna
arxiv.org/abs/2506.09282

@arXiv_csRO_bot@mastoxiv.page
2025-06-10 17:16:50

This arxiv.org/abs/2503.09409 has been replaced.
initial toot: mastoxiv.page/@arXiv_csRO_…

@arXiv_csLO_bot@mastoxiv.page
2025-06-12 07:45:51

On the cut-elimination of the modal $\mu$-calculus: Linear Logic to the rescue
Esa\"ie Bauer, Alexis Saurin
arxiv.org/abs/2506.09791

@arXiv_csCR_bot@mastoxiv.page
2025-06-10 16:30:09

This arxiv.org/abs/2504.13398 has been replaced.
initial toot: mastoxiv.page/@arXiv_csCR_…

@arXiv_csCL_bot@mastoxiv.page
2025-06-12 09:06:21

Query-Focused Retrieval Heads Improve Long-Context Reasoning and Re-ranking
Wuwei Zhang, Fangcong Yin, Howard Yen, Danqi Chen, Xi Ye
arxiv.org/abs/2506.09944

@arXiv_csDC_bot@mastoxiv.page
2025-06-12 07:26:41

TTrace: Lightweight Error Checking and Diagnosis for Distributed Training
Haitian Jiang, Shaowei Zhu, Zhen Zhang, Zhenyu Song, Xinwei Fu, Zhen Jia, Yida Wang, Jinyang Li
arxiv.org/abs/2506.09280

@arXiv_csRO_bot@mastoxiv.page
2025-06-10 17:11:09

This arxiv.org/abs/2503.04280 has been replaced.
initial toot: mastoxiv.page/@arXiv_csRO_…

@arXiv_csCR_bot@mastoxiv.page
2025-06-10 16:29:19

This arxiv.org/abs/2502.04951 has been replaced.
initial toot: mastoxiv.page/@arXiv_csCR_…

@arXiv_csLO_bot@mastoxiv.page
2025-06-12 07:45:11

DHoTT: A Temporal Extension of Homotopy Type Theory for Semantic Drift
Iman Poernomo
arxiv.org/abs/2506.09671 arxiv.o…

@arXiv_csCL_bot@mastoxiv.page
2025-06-12 09:05:02

VerIF: Verification Engineering for Reinforcement Learning in Instruction Following
Hao Peng, Yunjia Qi, Xiaozhi Wang, Bin Xu, Lei Hou, Juanzi Li
arxiv.org/abs/2506.09942

@arXiv_csRO_bot@mastoxiv.page
2025-06-10 17:10:19

This arxiv.org/abs/2502.20636 has been replaced.
initial toot: mastoxiv.page/@arXiv_csRO_…

@arXiv_csDC_bot@mastoxiv.page
2025-06-12 07:26:21

A Survey of End-to-End Modeling for Distributed DNN Training: Workloads, Simulators, and TCO
Jonas Svedas, Hannah Watson, Nathan Laubeuf, Diksha Moolchandani, Abubakr Nada, Arjun Singh, Dwaipayan Biswas, James Myers, Debjyoti Bhattacharjee
arxiv.org/abs/2506.09275

@arXiv_csCR_bot@mastoxiv.page
2025-06-10 16:27:59

This arxiv.org/abs/2412.15289 has been replaced.
initial toot: mastoxiv.page/@arXiv_csCR_…

@arXiv_csLO_bot@mastoxiv.page
2025-06-12 07:42:31

IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation
Kinnari Dave, Alejandro D\'iaz-Caro, Vladimir Zamdzhiev
arxiv.org/abs/2506.09545

@arXiv_csRO_bot@mastoxiv.page
2025-06-10 17:03:29

This arxiv.org/abs/2502.09180 has been replaced.
initial toot: mastoxiv.page/@arXiv_csRO_…

@arXiv_csCL_bot@mastoxiv.page
2025-06-12 08:59:31

Aspect-Based Opinion Summarization with Argumentation Schemes
Wendi Zhou, Ameer Saadat-Yazd, Nadin Kokciyan
arxiv.org/abs/2506.09917

@arXiv_csDC_bot@mastoxiv.page
2025-06-12 07:26:01

Multi-GPU Acceleration of PALABOS Fluid Solver using C Standard Parallelism
Jonas Latt, Christophe Coreixas
arxiv.org/abs/2506.09242

@arXiv_csCR_bot@mastoxiv.page
2025-06-10 16:26:29

This arxiv.org/abs/2412.03283 has been replaced.
initial toot: mastoxiv.page/@arXiv_csCR_…

@arXiv_csLO_bot@mastoxiv.page
2025-06-12 07:40:21

Syntactic Effectful Realizability in Higher-Order Logic
Liron Cohen (BGU), Ariel Grunfeld (BGU), Dominik Kirst (PICUBE), \'Etienne Miquey (I2M)
arxiv.org/abs/2506.09458

@arXiv_csRO_bot@mastoxiv.page
2025-06-10 17:01:19

This arxiv.org/abs/2501.00296 has been replaced.
initial toot: mastoxiv.page/@arXiv_csRO_…

@arXiv_csCR_bot@mastoxiv.page
2025-06-10 16:25:39

This arxiv.org/abs/2411.13425 has been replaced.
initial toot: mastoxiv.page/@arXiv_csCR_…

@arXiv_csDC_bot@mastoxiv.page
2025-06-12 07:25:31

EdgeProfiler: A Fast Profiling Framework for Lightweight LLMs on Edge Using Analytical Model
Alyssa Pinnock, Shakya Jayakody, Kawsher A Roxy, Md Rubel Ahmed
arxiv.org/abs/2506.09061

@arXiv_csCL_bot@mastoxiv.page
2025-06-12 08:55:21

PersonaLens: A Benchmark for Personalization Evaluation in Conversational AI Assistants
Zheng Zhao, Clara Vania, Subhradeep Kayal, Naila Khan, Shay B. Cohen, Emine Yilmaz
arxiv.org/abs/2506.09902

@arXiv_csLO_bot@mastoxiv.page
2025-06-12 07:39:01

Abstraction-Based Proof Production in Formal Verification of Neural Networks
Yizhak Yisrael Elboher, Omri Isac, Guy Katz, Tobias Ladner, Haoze Wu
arxiv.org/abs/2506.09455

@arXiv_csRO_bot@mastoxiv.page
2025-06-10 16:57:39

This arxiv.org/abs/2412.13664 has been replaced.
initial toot: mastoxiv.page/@arXiv_csRO_…

@arXiv_csCR_bot@mastoxiv.page
2025-06-10 16:25:09

This arxiv.org/abs/2410.16316 has been replaced.
initial toot: mastoxiv.page/@arXiv_csCR_…

@arXiv_csDC_bot@mastoxiv.page
2025-06-12 07:25:21

[2025-06-12 Thu (UTC), 10 new articles found for cs.DC Distributed, Parallel, and Cluster Computing]
toXiv_bot_toot

@arXiv_csCL_bot@mastoxiv.page
2025-06-12 08:54:21

The Emergence of Abstract Thought in Large Language Models Beyond Any Language
Yuxin Chen, Yiran Zhao, Yang Zhang, An Zhang, Kenji Kawaguchi, Shafiq Joty, Junnan Li, Tat-Seng Chua, Michael Qizhe Shieh, Wenxuan Zhang
arxiv.org/abs/2506.09890

@arXiv_csRO_bot@mastoxiv.page
2025-06-10 16:56:49

This arxiv.org/abs/2412.08468 has been replaced.
initial toot: mastoxiv.page/@arXiv_csRO_…

@arXiv_csLO_bot@mastoxiv.page
2025-06-12 07:38:31

From Partial to Monadic: Combinatory Algebra with Effects
Liron Cohen (BGU), Ariel Grunfeld (BGU), Dominik Kirst (PICUBE), \'Etienne Miquey (I2M)
arxiv.org/abs/2506.09453

@arXiv_csCR_bot@mastoxiv.page
2025-06-10 16:23:49

This arxiv.org/abs/2409.17458 has been replaced.
initial toot: mastoxiv.page/@arXiv_csCR_…

@arXiv_csCL_bot@mastoxiv.page
2025-06-12 08:52:51

Attention Head Embeddings with Trainable Deep Kernels for Hallucination Detection in LLMs
Rodion Oblovatny, Alexandra Bazarova, Alexey Zaytsev
arxiv.org/abs/2506.09886

@arXiv_csRO_bot@mastoxiv.page
2025-06-10 16:56:09

This arxiv.org/abs/2412.07664 has been replaced.
initial toot: mastoxiv.page/@arXiv_csRO_…

@arXiv_csLO_bot@mastoxiv.page
2025-06-12 07:38:21

[2025-06-12 Thu (UTC), 6 new articles found for cs.LO Logic in Computer Science]
toXiv_bot_toot

@arXiv_csCR_bot@mastoxiv.page
2025-06-10 16:23:29

This arxiv.org/abs/2409.03788 has been replaced.
initial toot: mastoxiv.page/@arXiv_csCR_…

@arXiv_csRO_bot@mastoxiv.page
2025-06-10 16:55:19

This arxiv.org/abs/2411.12206 has been replaced.
initial toot: mastoxiv.page/@arXiv_csRO_…

@arXiv_csCL_bot@mastoxiv.page
2025-06-12 08:50:31

Causal Sufficiency and Necessity Improves Chain-of-Thought Reasoning
Xiangning Yu, Zhuohan Wang, Linyi Yang, Haoxuan Li, Anjie Liu, Xiao Xue, Jun Wang, Mengyue Yang
arxiv.org/abs/2506.09853

@arXiv_csCR_bot@mastoxiv.page
2025-06-10 16:22:29

This arxiv.org/abs/2408.16220 has been replaced.
initial toot: mastoxiv.page/@arXiv_csCR_…

@arXiv_csRO_bot@mastoxiv.page
2025-06-10 16:54:49

This arxiv.org/abs/2410.22931 has been replaced.
initial toot: mastoxiv.page/@arXiv_csRO_…

@arXiv_csCL_bot@mastoxiv.page
2025-06-12 08:40:41

Dataset of News Articles with Provenance Metadata for Media Relevance Assessment
Tomas Peterka, Matyas Bohacek
arxiv.org/abs/2506.09847

@arXiv_csCR_bot@mastoxiv.page
2025-06-10 16:22:09

This arxiv.org/abs/2407.03883 has been replaced.
initial toot: mastoxiv.page/@arXiv_csCR_…

@arXiv_csRO_bot@mastoxiv.page
2025-06-10 16:54:09

This arxiv.org/abs/2410.03483 has been replaced.
initial toot: mastoxiv.page/@arXiv_csRO_…

@arXiv_csCR_bot@mastoxiv.page
2025-06-10 16:21:09

This arxiv.org/abs/2406.10281 has been replaced.
initial toot: mastoxiv.page/@arXiv_csCR_…

@arXiv_csCL_bot@mastoxiv.page
2025-06-12 08:37:51

Error-Guided Pose Augmentation: Enhancing Rehabilitation Exercise Assessment through Targeted Data Generation
Omar Sherif, Ali Hamdi
arxiv.org/abs/2506.09833

@arXiv_csRO_bot@mastoxiv.page
2025-06-10 16:51:59

This arxiv.org/abs/2410.00117 has been replaced.
initial toot: mastoxiv.page/@arXiv_csRO_…

@arXiv_csCR_bot@mastoxiv.page
2025-06-10 16:20:49

This arxiv.org/abs/2405.20771 has been replaced.
initial toot: mastoxiv.page/@arXiv_csCR_…

@arXiv_csRO_bot@mastoxiv.page
2025-06-10 16:49:49

This arxiv.org/abs/2409.18122 has been replaced.
initial toot: mastoxiv.page/@arXiv_csRO_…

@arXiv_csCR_bot@mastoxiv.page
2025-06-10 16:20:29

This arxiv.org/abs/2404.08793 has been replaced.
initial toot: mastoxiv.page/@arXiv_csCR_…

@arXiv_csRO_bot@mastoxiv.page
2025-06-10 16:48:09

This arxiv.org/abs/2409.17641 has been replaced.
initial toot: mastoxiv.page/@arXiv_csRO_…

@arXiv_csRO_bot@mastoxiv.page
2025-06-10 16:46:39

This arxiv.org/abs/2409.12949 has been replaced.
initial toot: mastoxiv.page/@arXiv_csRO_…

@arXiv_csRO_bot@mastoxiv.page
2025-06-10 16:45:29

This arxiv.org/abs/2409.10283 has been replaced.
initial toot: mastoxiv.page/@arXiv_csRO_…

@arXiv_csRO_bot@mastoxiv.page
2025-06-10 16:44:59

This arxiv.org/abs/2409.06990 has been replaced.
initial toot: mastoxiv.page/@arXiv_csRO_…

@arXiv_csRO_bot@mastoxiv.page
2025-06-10 16:42:49

This arxiv.org/abs/2309.04154 has been replaced.
initial toot: mastoxiv.page/@arXiv_csRO_…