
2025-06-09 07:48:52
Regional, Lattice and Logical Representations of Neural Networks
Sandro Preto (Federal University of ABC, Brazil), Marcelo Finger (University of Sao Paulo, Brazil)
https://arxiv.org/abs/2506.05834
Regional, Lattice and Logical Representations of Neural Networks
Sandro Preto (Federal University of ABC, Brazil), Marcelo Finger (University of Sao Paulo, Brazil)
https://arxiv.org/abs/2506.05834
Dependent Types Simplified
Tristan Bice
https://arxiv.org/abs/2507.04071 https://arxiv.org/pdf/2507.04071
Logical Inferentialism & Attacks on Classical Logic
Khashayar Irani
https://arxiv.org/abs/2506.04295 https://arxiv.org/pdf/2506.0…
This https://arxiv.org/abs/2310.17451 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csAI_…
Control Synthesis in Partially Observable Environments for Complex Perception-Related Objectives
Zetong Xuan, Yu Wang
https://arxiv.org/abs/2507.02942 http…
Large Language Models for Agent-Based Modelling: Current and possible uses across the modelling cycle
Lo\"is Vanh\'ee, Melania Borit, Peer-Olaf Siebers, Roger Cremades, Christopher Frantz, \"Onder G\"urcan, Franti\v{s}ek Kalvas, Denisa Reshef Kera, Vivek Nallur, Kavin Narasimhan, Martin Neumann
https://arxiv.o…
Interleaving Logic and Counting
Johan van Benthem, Thomas Icard
https://arxiv.org/abs/2507.05219 https://arxiv.org/pdf/2507.05219
Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, with Applications
Cynthia Kop (Radboud Universiteit Nijmegen), Helida Salles Santos (Universidade Federal do Rio Grande)
https://arxiv.org/abs/2506.05219
Minimally dissipative multi-bit logical operations
J\'er\'emie Klinger, Grant M. Rotskoff
https://arxiv.org/abs/2506.24021 https://
It's time for the #EV industry to hold itself to a higher standard when it comes to roaming. You can't have your cake and eat it. Make the cake bigger!
https://www.linkedin.com/…
Generalized Code Distance through Rotated Logical States in Quantum Error Correction
Valentine Nyirahafashimana, Nurisya Mohd Shah, Umair Abdul Halim, Mohamed Othman
https://arxiv.org/abs/2506.17062
The Dependently Typed Higher-Order Form for the TPTP World
Daniel Ranalter, Cezary Kaliszyk, Florian Rabe, Geoff Sutcliffe
https://arxiv.org/abs/2507.03208
This https://arxiv.org/abs/2405.08965 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csPL_…
BayesL: Towards a Logical Framework for Bayesian Networks
Stefano M. Nicoletti, Mari\"elle Stoelinga
https://arxiv.org/abs/2506.23773 https://
This https://arxiv.org/abs/2506.02658 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csSE_…
Jonnu Smith landing spots: Steelers among logical trade destinations as contract talks with Dolphins continue
https://www.cbssports.com/nfl/n…
The Metaphysics of Protection: Emergence, Agency, and the Ontological Status of Logical Qubits
Kamran Majid
https://arxiv.org/abs/2507.00023 https://
Synergizing Logical Reasoning, Knowledge Management and Collaboration in Multi-Agent LLM System
Adam Kostka, Jaros{\l}aw A. Chudziak
https://arxiv.org/abs/2507.02170
This https://arxiv.org/abs/2505.17155 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLG_…
This https://arxiv.org/abs/2502.15806 has been replaced.
link: https://scholar.google.com/scholar?q=a
"During his time at IBM, he wrote some of the first artificial intelligence software—his "geometry theorem machine" was the first advanced AI program, and the third AI program ever. It is a logical AI system that can prove theorems in planar geometry about parallel lines, congruence, and equality and inequality of segments and angles. Like Logic Theorist, it uses heuristics."
AI4Research: A Survey of Artificial Intelligence for Scientific Research
Qiguang Chen, Mingda Yang, Libo Qin, Jinhao Liu, Zheng Yan, Jiannan Guan, Dengyun Peng, Yiyan Ji, Hanjing Li, Mengkang Hu, Yimeng Zhang, Yihao Liang, Yuhang Zhou, Jiaqi Wang, Zhi Chen, Wanxiang Che
https://arxiv.org/abs/2507.01903
When I worked at an agency, I frequently worked with this one front-end dev. We had the following exchange several times:
Her: Hey Crell, the client wants to do X. How long would that take?
Me: What? X is impossible, there's no logical way to do it.
Me: Well, I suppose we could blah blah, but that would be super complicated.
Me: Hm, but what if I blah blah?
Me: Hang on a sec, let me check something.
<10 min later>
Me: OK, I just did it.
H…
This https://arxiv.org/abs/2505.24171 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_eco…
Large Language Model-Driven Closed-Loop UAV Operation with Semantic Observations
Wenhao Wang, Yanyan Li, Long Jiao, Jiawei Yuan
https://arxiv.org/abs/2507.01930
Temperature chaos as a logical consequence of reentrant transition in spin glasses
Hidetoshi Nishimori, Masayuki Ohzeki, Manaka Okuyama
https://arxiv.org/abs/2507.00276
This https://arxiv.org/abs/2505.09795 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csIR_…
Extending conceptual completeness via virtual ultracategories
Gabriel Saadia
https://arxiv.org/abs/2506.23935 https://arxiv.org/pdf/2…
PathDB: A system for evaluating regular path queries
Roberto Garc\'ia, Renzo Angles, Vicente Rojas, Sebasti\'an Ferrada
https://arxiv.org/abs/2507.01755
Experimental demonstration of high-fidelity logical magic states from code switching
Lucas Daguerre, Robin Blume-Kohout, Natalie C. Brown, David Hayes, Isaac H. Kim
https://arxiv.org/abs/2506.14169
We need a sci-fi series like Star Trek TNG, but instead of Data being super logical as were the computers of that era, our updated Data is an LLM and Starfleet foists these on starship commanders because, 52% of the time, they are brilliant.
Note: this must not be a comedy.
Veritas: Deterministic Verilog Code Synthesis from LLM-Generated Conjunctive Normal Form
Prithwish Basu Roy, Akashdeep Saha, Manaar Alam, Johann Knechtel, Michail Maniatakos, Ozgur Sinanoglu, Ramesh Karri
https://arxiv.org/abs/2506.00005
My wife: "Our friend X has had surgery last week."
Me: "And how does he want to be called now?"
In our bubble of friends, this seemed to me to be the logical first question. Not "What kind of surgery?" where the answer would have been "a growth on his back".
This https://arxiv.org/abs/2505.19641 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csAI_…
Computational Thinking Reasoning in Large Language Models
Kechi Zhang, Ge Li, Jia Li, Huangzhao Zhang, Jingjing Xu, Hao Zhu, Lecheng Wang, Jia Li, Yihong Dong, Jing Mai, Bin Gu, Zhi Jin
https://arxiv.org/abs/2506.02658
from my link log —
Boolean blindness.
https://existentialtype.wordpress.com/2011/03/15/boolean-blindness/
saved 2024-09-21
At some point I need to delete the extra test profiles of Keyoxide, I only need one...it will look more logical and less like I'm perpetually testing stuff without pause...
#KeyOxide
A Topological Semantics of Dialogue: Nerve Structures and Logical Extraction
Andreu Ballus Santacana
https://arxiv.org/abs/2506.00615 https://
Series B, Episode 03 - Weapon
SERVALAN: Or respect. A man might see it as respect. You would have - once.
[Flight deck]
BLAKE: What do you think, Jenna?
AVON: I think the basic idea was stupid.
BLAKE: No, the idea was logical enough. Jenna?
https://blake.torpidity.net/m/203/71
Linear Layouts: Robust Code Generation of Efficient Tensor Computation Using $\mathbb{F}_2$
Keren Zhou, Mario Lezcano, Adam Goucher, Akhmed Rakhmati, Jeff Niu, Justin Lebar, Pawel Szczerbuk, Peter Bell, Phil Tillet, Thomas Raoux, Zahi Moudallal
https://arxiv.org/abs/2505.23819
Now personally, I'm not invested in the law and I reject the logical underpinnings of the whole thing. The US is founded on land that already had people on it, that already had multiple systems of authority, so there can be no claim that it has any legal authority to exist at all.
But it's hard to ignore the inconsistency here. Accepting the logic from the Declaration of Independence and the Constitution, there is no way in which the current state can be legitimate and which Trump has the authority to do anything. The last legal president, again, following the logic that assumes such a thing even possible, was Barak Obama. Since the transfer of power, the country has failed to enforce the law.
If the executive cannot complete their oath, then they are considered vacant under the 25th amendment. If the cabinet fails to invoke article 4, then they too are involved in the insurrection (again, simply following the logic outlined pretty clearly here) as are any who would fail to support the invocation.
Since a full takeover of the federal government by insurrectionists wasn't really planned for, I'm guessing that it would necessarily go to the states, being the only remaining legal authority.
Wishful thinking is so powerful.
The docs for #Postfix's headers_checks are explicit & clear: it operates on 1 logical header line at a time, preserving no state across lines. There’s no way to combine rules logically operating on 2 different headers. The man page & the BUILTIN_FILTER_README file are clear: it is unfit for general filtering.
At least monthly someone pops up…
This https://arxiv.org/abs/2408.07529 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…
Hypercubical manifolds in homotopy type theory
Samuel Mimram, \'Emile Oleon
https://arxiv.org/abs/2506.19402 https://arxiv.org/pd…
Thinking of renting an ebike for a day (mine is broken). Then i saw it's roughly six times more expensive than renting a car for the same duration.
I'm sure Bolt has a perfectly logical explanation for this, and probably the explanation is "because fuck you, that's why".
Im using case_when() quite a lot, case_match() is new to me: #rstats
TrainVerify: Equivalence-Based Verification for Distributed LLM Training
Yunchi Lu, Youshan Miao, Cheng Tan, Peng Huang, Yi Zhu, Xian Zhang, Fan Yang
https://arxiv.org/abs/2506.15961
This https://arxiv.org/abs/2505.22299 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csIR_…
I'm reading The Lost Princess by #GeorgeMacDonald and in one paragraph he starts off by saying that there is a fire made of fir-wood and by the end of the paragraph refers to it as a peat fire.
#ChatGPT informs me that fir-wood is fast burning and was often used in #Scotland to get a fire started while peat was long-burning and thus would be added to the fire thereafter.
It seems logical, but ChatGPT has also struggled to provide me with clear references to this information.
Curious if anyone is familiar with whether this was/is so? I'd like something to depend upon beyond the words of generative AI. 😂
#question
How Hard is it to be a Star? Convex Geometry and the Real Hierarchy
Marcus Schaefer, Daniel \v{S}tefankovi\v{c}
https://arxiv.org/abs/2506.18818 https://…
This https://arxiv.org/abs/2505.14049 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCV_…
Enhancing Large Language Models through Structured Reasoning
Yubo Dong, Hehe Fan
https://arxiv.org/abs/2506.20241 https://arxiv.org/p…
"Quantum supremacy" challenged. Instantaneous noise-based logic with benchmark demonstrations
Nasir Kenarangui, Arthur Powalka, Laszlo B. Kish
https://arxiv.org/abs/2506.00063
Coupled Cluster Downfolding Theoryin Simulations of Chemical Systems on Quantum Hardware
Nicholas P. Bauman, Muqing Zheng, Chenxu Liu, Nathan M. Myers, Ajay Panyala, Bo Peng, Ang Li, Karol Kowalski
https://arxiv.org/abs/2507.01199
This https://arxiv.org/abs/2504.03517 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLO_…
A note on the diversity Owen values
Songtao He, Erfang Shan, Xinyu Sun
https://arxiv.org/abs/2505.24171 https://arxiv.org/pdf/2505.24…
AI's Euclid's Elements Moment: From Language Models to Computable Thought
Xinmin Fang, Lingfeng Tao, Zhengxiong Li
https://arxiv.org/abs/2506.23080
A Language-Agnostic Logical Relation for Message-Passing Protocols
Tesla Zhang, Sonya Simkin, Rui Li, Yue Yao, Stephanie Balzer
https://arxiv.org/abs/2506.10026
Breaking even with magic: demonstration of a high-fidelity logical non-Clifford gate
Shival Dasu, Simon Burton, Karl Mayer, David Amaro, Justin A. Gerber, Kevin Gilmore, Dan Gresh, Davide DelVento, Andrew C. Potter, David Hayes
https://arxiv.org/abs/2506.14688
This https://arxiv.org/abs/2504.03517 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLO_…
Leveraging AI Graders for Missing Score Imputation to Achieve Accurate Ability Estimation in Constructed-Response Tests
Masaki Uto, Yuma Ito
https://arxiv.org/abs/2506.20119
This https://arxiv.org/abs/2411.19109 has been replaced.
initial toot: https://mastoxiv.page/@arX…
Are Large Language Models Capable of Deep Relational Reasoning? Insights from DeepSeek-R1 and Benchmark Comparisons
Chi Chiu So, Yueyue Sun, Jun-Min Wang, Siu Pang Yung, Anthony Wai Keung Loh, Chun Pong Chau
https://arxiv.org/abs/2506.23128
Experimental realization of all logic elements and memory latch in SC-CNN Chua's circuit
Ashokkumar P, Sathish Aravindh M, Venkatesan A, Lakshmanan M
https://arxiv.org/abs/2505.23303
Leveraging erasure errors in logical qubits with metastable $^{171}$Yb atoms
Bichen Zhang, Genyue Liu, Guillaume Bornet, Sebastian P. Horvath, Pai Peng, Shuo Ma, Shilin Huang, Shruti Puri, Jeff D. Thompson
https://arxiv.org/abs/2506.13724
Logic Mining from Process Logs: Towards Automated Specification and Verification
Radoslaw Klimek, Julia Witek
https://arxiv.org/abs/2506.08628 https://
Iterated jump noncomputability and compactness
Gavin Dooley
https://arxiv.org/abs/2506.20620 https://arxiv.org/pdf/2506.20620
Compositional Control-Driven Boolean Circuits
Damian Arellanes
https://arxiv.org/abs/2506.22687 https://arxiv.org/pdf/2506.22687
Comparison of spin-qubit architectures for quantum error-correcting codes
Mauricio Guti\'errez, Juan S. Rojas-Arias, David Obando, Chien-Yuan Chang
https://arxiv.org/abs/2506.17190
Model-theoretic Forcing in Transition Algebra
Go Hashimoto, Daniel G\u{a}in\u{a}
https://arxiv.org/abs/2506.22828 https://arxiv.org/p…
Demonstration of measurement-free universal fault-tolerant quantum computation
Friederike Butt, Ivan Pogorelov, Robert Freund, Alex Steiner, Marcel Meyer, Thomas Monz, Markus M\"uller
https://arxiv.org/abs/2506.22600
RADAR: Benchmarking Language Models on Imperfect Tabular Data
Ken Gu, Zhihan Zhang, Kate Lin, Yuwei Zhang, Akshay Paruchuri, Hong Yu, Mehran Kazemi, Kumar Ayush, A. Ali Heydari, Maxwell A. Xu, Girish Narayanswamy, Yun Liu, Ming-Zher Poh, Yuzhe Yang, Mark Malhotra, Shwetak Patel, Hamid Palangi, Xuhai Xu, Daniel McDuff, Tim Althoff, Xin Liu
https://
k-Planar and Fan-Crossing Drawings and Transductions of Planar Graphs
Petr Hlin\v{e}n\'y, Jan Jedelsk\'y
https://arxiv.org/abs/2506.08585 https://
The 4th Dimension for Scaling Model Size
Ruike Zhu, Hanwen Zhang, Tianyu Shi, Chi Wang, Tianyi Zhou, Zengyi Qin
https://arxiv.org/abs/2506.18233 https://…
This https://arxiv.org/abs/2505.19914 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCL_…
DCE-LLM: Dead Code Elimination with Large Language Models
Minyu Chen, Guoqiang Li, Ling-I Wu, Ruibang Liu
https://arxiv.org/abs/2506.11076 https://
Replaced article(s) found for math.LO. https://arxiv.org/list/math.LO/new
[1/1]:
Some reflections on the relationship between logical incompleteness and concrete incompleteness
Replaced article(s) found for cs.AI. https://arxiv.org/list/cs.AI/new
[4/8]:
- A Implies B: Circuit Analysis in LLMs for Propositional Logical Reasoning
Guan Zhe Hong, Nishanth Dikkala, Enming Luo, Cyrus Rashtchian, Xin Wang, Rina Panigrahy
Repeated ancilla reuse for logical computation on a neutral atom quantum computer
J. A. Muniz, D. Crow, H. Kim, J. M. Kindem, W. B. Cairncross, A. Ryou, T. C. Bohdanowicz, C. -A. Chen, Y. Ji, A. M. W. Jones, E. Megidish, C. Nishiguchi, M. Urbanek, L. Wadleigh, T. Wilkason, D. Aasen, K. Barnes, J. M. Bello-Rivas, I. Bloomfield, G. Booth, A. Brown, M. O. Brown, K. Cassella, G. Cowan, J. Epstein, M. Feldkamp, C. Griger, Y. Hassan, A. Heinz, E. Halperin, T. Hofler, F. Hummel, M. Jaffe, E. …
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
From over-reliance to smart integration: using Large-Language Models as translators between specialized modeling and simulation tools
Philippe J. Giabbanelli, John Beverley, Istvan David, Andreas Tolk
https://arxiv.org/abs/2506.11141
Architectural mechanisms of a universal fault-tolerant quantum computer
Dolev Bluvstein, Alexandra A. Geim, Sophie H. Li, Simon J. Evered, J. Pablo Bonilla Ataides, Gefen Baranes, Andi Gu, Tom Manovitz, Muqing Xu, Marcin Kalinowski, Shayan Majidy, Christian Kokail, Nishad Maskara, Elias C. Trapp, Luke M. Stewart, Simon Hollerith, Hengyun Zhou, Michael J. Gullans, Susanne F. Yelin, Markus Greiner, Vladan Vuletic, Madelyn Cain, Mikhail D. Lukin
This https://arxiv.org/abs/2505.19804 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCL_…
The Complexity of the Set of Validities of a Theory
Denis Hirschfeldt, Henry Towsner, Scott Weinstein
https://arxiv.org/abs/2506.08901 https://
AniMaker: Automated Multi-Agent Animated Storytelling with MCTS-Driven Clip Generation
Haoyuan Shi, Yunxin Li, Xinyu Chen, Longyue Wang, Baotian Hu, Min Zhang
https://arxiv.org/abs/2506.10540
This https://arxiv.org/abs/2506.05850 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCL_…
Replaced article(s) found for quant-ph. https://arxiv.org/list/quant-ph/new
[3/3]:
- The logical structure of contextuality and nonclassicality
Songyi Liu, Yongjun Wang, Baoshan Wang, Chang He, Jincheng Wang
RE-oriented Model Development with LLM Support and Deduction-based Verification
Radoslaw Klimek
https://arxiv.org/abs/2506.08606 https://
Replaced article(s) found for math.LO. https://arxiv.org/list/math.LO/new/
[1/1]:
A logical perspective on intending to keep a true secret
https:/…
Replaced article(s) found for cs.AI. https://arxiv.org/list/cs.AI/new/
[1/6]:
Goal Kernel Planning: Linearly-Solvable Non-Markovian Policies for Logical Tasks with Goal-Condit...
Optical tweezer-controlled entanglement gates with trapped ion qubits
David Schwerdt, Lee Peleg, Gal Dekel, Lekshmi Rajagopal, Oz Matoki, Avram Gross, Yotam Shapira, Nitzan Akerman, Roee Ozeri
https://arxiv.org/abs/2506.08565
Classical Simulation of an All-Optical Toffoli Gate using Soliton Scattering through Asymmetric Potential Wells
Melih \"Ozkurt, \"Ozg\"ur E. M\"ustecapl{\i}o\u{g}lu
https://arxiv.org/abs/2506.06883