
2025-06-12 07:23:39
これ読むといいんじゃないかな。うえのさんの。
--
二つのクリスマス. ——何かを「待ちのぞむ」ということ | by ueno | Medium
https://oryzivora.page/二つのクリスマス-750d0b08d274?gi=705df5f6d027
これ読むといいんじゃないかな。うえのさんの。
--
二つのクリスマス. ——何かを「待ちのぞむ」ということ | by ueno | Medium
https://oryzivora.page/二つのクリスマス-750d0b08d274?gi=705df5f6d027
This https://arxiv.org/abs/2502.10090 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…
This https://arxiv.org/abs/2506.00558 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCV_…
This https://arxiv.org/abs/2506.05394 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…
Frosty for partial synchrony
Stephen Buttolph, Andrew Lewis-Pye, Kevin Sekniqi
https://arxiv.org/abs/2506.09823 https://arxiv.org/pdf…
This https://arxiv.org/abs/2501.09799 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_ees…
ALE-Bench: A Benchmark for Long-Horizon Objective-Driven Algorithm Engineering
Yuki Imajuku, Kohki Horie, Yoichi Iwata, Kensho Aoki, Naohiro Takahashi, Takuya Akiba
https://arxiv.org/abs/2506.09050
Replaced article(s) found for cs.LG. https://arxiv.org/list/cs.LG/new/
[6/7]:
Spatial Reasoning with Denoising Models
https://…
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
https://arxiv.org/abs/2506.08588
Thomason's colimit theorem for the double category of elements
Andrew Gill, Maru Sarazola
https://arxiv.org/abs/2506.08246 https://
This https://arxiv.org/abs/2409.02516 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…
Gradual Metaprogramming
Tianyu Chen, Darshal Shetty, Jeremy G. Siek, Chao-Hong Chen, Weixi Ma, Arnaud Venet, Rocky Liu
https://arxiv.org/abs/2506.09043 htt…
From Judgment to Interference: Early Stopping LLM Harmful Outputs via Streaming Content Monitoring
Yang Li, Qiang Sheng, Yehan Yang, Xueyao Zhang, Juan Cao
https://arxiv.org/abs/2506.09996
This https://arxiv.org/abs/2506.03770 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_ees…
This https://arxiv.org/abs/2506.04437 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…
This https://arxiv.org/abs/2505.24718 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCV_…
This https://arxiv.org/abs/2506.04147 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…
This https://arxiv.org/abs/2506.05376 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…
Understanding the Performance and Power of LLM Inferencing on Edge Accelerators
Mayank Arya, Yogesh Simmhan
https://arxiv.org/abs/2506.09554 https://
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
https://arxiv.org/abs/2506.09049
Replaced article(s) found for cs.LG. https://arxiv.org/list/cs.LG/new/
[3/7]:
Low-Loss Space in Neural Networks is Continuous and Fully Connected
ht…
Compositional Reasoning for Parametric Probabilistic Automata
Hannah Mertens, Tim Quatmann, Joost-Pieter Katoen
https://arxiv.org/abs/2506.08525 https://…
Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline
Lifan Hu
https://arxiv.org/abs/2506.08396 https://
Large Language Models for Toxic Language Detection in Low-Resource Balkan Languages
Amel Muminovic, Amela Kadric Muminovic
https://arxiv.org/abs/2506.09992
This https://arxiv.org/abs/2505.24247 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCV_…
This https://arxiv.org/abs/2412.02003 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…
This https://arxiv.org/abs/2506.04120 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…
This https://arxiv.org/abs/2506.03940 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…
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
https://arxiv.org/abs/2506.09505
AbstentionBench: Reasoning LLMs Fail on Unanswerable Questions
Polina Kirichenko, Mark Ibrahim, Kamalika Chaudhuri, Samuel J. Bell
https://arxiv.org/abs/2506.09038
Forward and Backward Simulations for Partially Observable Probability
Chris Chen, Annabelle McIver, Carroll Morgan
https://arxiv.org/abs/2506.08437 https:/…
Verification of the Release-Acquire Semantics
Parosh Abdulla, Elli Anastasiadi, Mohamed Faouzi Atig, Samuel Grahn
https://arxiv.org/abs/2506.08238 https://…
Step-by-step Instructions and a Simple Tabular Output Format Improve the Dependency Parsing Accuracy of LLMs
Hiroshi Matsuda, Chunpeng Ma, Masayuki Asahara
https://arxiv.org/abs/2506.09983
This https://arxiv.org/abs/2506.02215 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…
This https://arxiv.org/abs/2505.12453 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…
Efficient Task Graph Scheduling for Parallel QR Factorization in SLSQP
Soumyajit Chatterjee, Rahul Utkoor, Uppu Eshwar, Sathya Peri, V. Krishna Nandivada
https://arxiv.org/abs/2506.09463
A Survey of Link Prediction in N-ary Knowledge Graphs
Jiyao Wei, Saiping Guan, Da Li, Xiaolong Jin, Jiafeng Guo, Xueqi Cheng
https://arxiv.org/abs/2506.08970
Approximate Axiomatization for Differentially-Defined Functions
Andr\'e Platzer, Long Qian
https://arxiv.org/abs/2506.08233 https://
This https://arxiv.org/abs/2505.21652 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…
[2025-06-11 Wed (UTC), 3 new articles found for cs.PL Programming Languages]
toXiv_bot_toot
When Detection Fails: The Power of Fine-Tuned Models to Generate Human-Like Social Media Text
Hillary Dawkins, Kathleen C. Fraser, Svetlana Kiritchenko
https://arxiv.org/abs/2506.09975
This https://arxiv.org/abs/2505.11963 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…
SLED: A Speculative LLM Decoding Framework for Efficient Edge Serving
Xiangchen Li, Dimitrios Spatharakis, Saeid Ghafouri, Jiakun Fan, Dimitrios Nikolopoulos
https://arxiv.org/abs/2506.09397
[2025-06-11 Wed (UTC), 4 new articles found for cs.LO Logic in Computer Science]
toXiv_bot_toot
This https://arxiv.org/abs/2505.08230 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…
This https://arxiv.org/abs/2504.15585 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…
Resa: Transparent Reasoning Models via SAEs
Shangshang Wang, Julian Asilis, \"Omer Faruk Akg\"ul, Enes Burak Bilgin, Ollie Liu, Deqing Fu, Willie Neiswanger
https://arxiv.org/abs/2506.09967
ScalableHD: Scalable and High-Throughput Hyperdimensional Computing Inference on Multi-Core CPUs
Dhruv Parikh, Viktor Prasanna
https://arxiv.org/abs/2506.09282
This https://arxiv.org/abs/2503.09409 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…
On the cut-elimination of the modal $\mu$-calculus: Linear Logic to the rescue
Esa\"ie Bauer, Alexis Saurin
https://arxiv.org/abs/2506.09791 https://
This https://arxiv.org/abs/2504.13398 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…
Query-Focused Retrieval Heads Improve Long-Context Reasoning and Re-ranking
Wuwei Zhang, Fangcong Yin, Howard Yen, Danqi Chen, Xi Ye
https://arxiv.org/abs/2506.09944
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
https://arxiv.org/abs/2506.09280
This https://arxiv.org/abs/2503.04280 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…
This https://arxiv.org/abs/2502.04951 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…
DHoTT: A Temporal Extension of Homotopy Type Theory for Semantic Drift
Iman Poernomo
https://arxiv.org/abs/2506.09671 https://arxiv.o…
VerIF: Verification Engineering for Reinforcement Learning in Instruction Following
Hao Peng, Yunjia Qi, Xiaozhi Wang, Bin Xu, Lei Hou, Juanzi Li
https://arxiv.org/abs/2506.09942 …
This https://arxiv.org/abs/2502.20636 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…
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
https://arxiv.org/abs/2506.09275
This https://arxiv.org/abs/2412.15289 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…
IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation
Kinnari Dave, Alejandro D\'iaz-Caro, Vladimir Zamdzhiev
https://arxiv.org/abs/2506.09545
This https://arxiv.org/abs/2502.09180 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…
Aspect-Based Opinion Summarization with Argumentation Schemes
Wendi Zhou, Ameer Saadat-Yazd, Nadin Kokciyan
https://arxiv.org/abs/2506.09917 https://
Multi-GPU Acceleration of PALABOS Fluid Solver using C Standard Parallelism
Jonas Latt, Christophe Coreixas
https://arxiv.org/abs/2506.09242 https://
This https://arxiv.org/abs/2412.03283 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…
Syntactic Effectful Realizability in Higher-Order Logic
Liron Cohen (BGU), Ariel Grunfeld (BGU), Dominik Kirst (PICUBE), \'Etienne Miquey (I2M)
https://arxiv.org/abs/2506.09458
This https://arxiv.org/abs/2501.00296 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…
This https://arxiv.org/abs/2411.13425 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…
EdgeProfiler: A Fast Profiling Framework for Lightweight LLMs on Edge Using Analytical Model
Alyssa Pinnock, Shakya Jayakody, Kawsher A Roxy, Md Rubel Ahmed
https://arxiv.org/abs/2506.09061
PersonaLens: A Benchmark for Personalization Evaluation in Conversational AI Assistants
Zheng Zhao, Clara Vania, Subhradeep Kayal, Naila Khan, Shay B. Cohen, Emine Yilmaz
https://arxiv.org/abs/2506.09902
Abstraction-Based Proof Production in Formal Verification of Neural Networks
Yizhak Yisrael Elboher, Omri Isac, Guy Katz, Tobias Ladner, Haoze Wu
https://arxiv.org/abs/2506.09455 …
This https://arxiv.org/abs/2412.13664 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…
This https://arxiv.org/abs/2410.16316 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…
[2025-06-12 Thu (UTC), 10 new articles found for cs.DC Distributed, Parallel, and Cluster Computing]
toXiv_bot_toot
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
https://arxiv.org/abs/2506.09890
This https://arxiv.org/abs/2412.08468 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…
From Partial to Monadic: Combinatory Algebra with Effects
Liron Cohen (BGU), Ariel Grunfeld (BGU), Dominik Kirst (PICUBE), \'Etienne Miquey (I2M)
https://arxiv.org/abs/2506.09453
This https://arxiv.org/abs/2409.17458 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…
Attention Head Embeddings with Trainable Deep Kernels for Hallucination Detection in LLMs
Rodion Oblovatny, Alexandra Bazarova, Alexey Zaytsev
https://arxiv.org/abs/2506.09886
This https://arxiv.org/abs/2412.07664 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…
[2025-06-12 Thu (UTC), 6 new articles found for cs.LO Logic in Computer Science]
toXiv_bot_toot
This https://arxiv.org/abs/2409.03788 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…
This https://arxiv.org/abs/2411.12206 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…
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
https://arxiv.org/abs/2506.09853
This https://arxiv.org/abs/2408.16220 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…
This https://arxiv.org/abs/2410.22931 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…
Dataset of News Articles with Provenance Metadata for Media Relevance Assessment
Tomas Peterka, Matyas Bohacek
https://arxiv.org/abs/2506.09847 https://
This https://arxiv.org/abs/2407.03883 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…
This https://arxiv.org/abs/2410.03483 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…
This https://arxiv.org/abs/2406.10281 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…
Error-Guided Pose Augmentation: Enhancing Rehabilitation Exercise Assessment through Targeted Data Generation
Omar Sherif, Ali Hamdi
https://arxiv.org/abs/2506.09833
This https://arxiv.org/abs/2410.00117 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…
This https://arxiv.org/abs/2405.20771 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…
This https://arxiv.org/abs/2409.18122 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…
This https://arxiv.org/abs/2404.08793 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…
This https://arxiv.org/abs/2409.17641 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…
This https://arxiv.org/abs/2409.12949 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…
This https://arxiv.org/abs/2409.10283 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…
This https://arxiv.org/abs/2409.06990 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…
This https://arxiv.org/abs/2309.04154 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…