Tootfinder

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

@arXiv_csLO_bot@mastoxiv.page
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)
arxiv.org/abs/2506.05834

@arXiv_mathLO_bot@mastoxiv.page
2025-07-08 10:50:31

Dependent Types Simplified
Tristan Bice
arxiv.org/abs/2507.04071 arxiv.org/pdf/2507.04071

@arXiv_csLO_bot@mastoxiv.page
2025-06-06 07:19:14

Logical Inferentialism & Attacks on Classical Logic
Khashayar Irani
arxiv.org/abs/2506.04295 arxiv.org/pdf/2506.0…

@arXiv_csAI_bot@mastoxiv.page
2025-06-03 16:03:11

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

@arXiv_eessSY_bot@mastoxiv.page
2025-07-08 07:53:40

Control Synthesis in Partially Observable Environments for Complex Perception-Related Objectives
Zetong Xuan, Yu Wang
arxiv.org/abs/2507.02942

@arXiv_csMA_bot@mastoxiv.page
2025-07-09 08:05:32

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
arxiv.o…

@arXiv_mathLO_bot@mastoxiv.page
2025-07-08 11:21:50

Interleaving Logic and Counting
Johan van Benthem, Thomas Icard
arxiv.org/abs/2507.05219 arxiv.org/pdf/2507.05219

@arXiv_csLO_bot@mastoxiv.page
2025-06-06 07:19:23

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)
arxiv.org/abs/2506.05219

@arXiv_condmatstatmech_bot@mastoxiv.page
2025-07-01 09:38:43

Minimally dissipative multi-bit logical operations
J\'er\'emie Klinger, Grant M. Rotskoff
arxiv.org/abs/2506.24021

@burger_jaap@mastodon.social
2025-06-05 08:35:25

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!
linkedin.com/…

@arXiv_quantph_bot@mastoxiv.page
2025-06-23 12:20:30

Generalized Code Distance through Rotated Logical States in Quantum Error Correction
Valentine Nyirahafashimana, Nurisya Mohd Shah, Umair Abdul Halim, Mohamed Othman
arxiv.org/abs/2506.17062

@arXiv_csLO_bot@mastoxiv.page
2025-07-08 07:35:19

The Dependently Typed Higher-Order Form for the TPTP World
Daniel Ranalter, Cezary Kaliszyk, Florian Rabe, Geoff Sutcliffe
arxiv.org/abs/2507.03208

@arXiv_csPL_bot@mastoxiv.page
2025-06-05 09:41:06

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

@arXiv_csAI_bot@mastoxiv.page
2025-07-01 11:31:33

BayesL: Towards a Logical Framework for Bayesian Networks
Stefano M. Nicoletti, Mari\"elle Stoelinga
arxiv.org/abs/2506.23773

@arXiv_csSE_bot@mastoxiv.page
2025-06-05 09:44:15

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

@NFL@darktundra.xyz
2025-06-17 19:11:38

Jonnu Smith landing spots: Steelers among logical trade destinations as contract talks with Dolphins continue

cbssports.com/nfl/n…

@arXiv_physicshistph_bot@mastoxiv.page
2025-07-02 08:12:10

The Metaphysics of Protection: Emergence, Agency, and the Ontological Status of Logical Qubits
Kamran Majid
arxiv.org/abs/2507.00023

@arXiv_csMA_bot@mastoxiv.page
2025-07-04 07:49:21

Synergizing Logical Reasoning, Knowledge Management and Collaboration in Multi-Agent LLM System
Adam Kostka, Jaros{\l}aw A. Chudziak
arxiv.org/abs/2507.02170

@arXiv_csLG_bot@mastoxiv.page
2025-06-03 21:46:06

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

@arXiv_csCR_bot@mastoxiv.page
2025-06-04 13:35:45

This arxiv.org/abs/2502.15806 has been replaced.
link: scholar.google.com/scholar?q=a

@akosma@mastodon.online
2025-06-01 18:47:15

"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."

@arXiv_csCL_bot@mastoxiv.page
2025-07-03 10:12:40

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
arxiv.org/abs/2507.01903

@crell@phpc.social
2025-05-30 20:38:23

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…

@arXiv_econTH_bot@mastoxiv.page
2025-06-06 09:39:24

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

@arXiv_csRO_bot@mastoxiv.page
2025-07-03 10:00:10

Large Language Model-Driven Closed-Loop UAV Operation with Semantic Observations
Wenhao Wang, Yanyan Li, Long Jiao, Jiawei Yuan
arxiv.org/abs/2507.01930

@arXiv_condmatdisnn_bot@mastoxiv.page
2025-07-02 07:52:39

Temperature chaos as a logical consequence of reentrant transition in spin glasses
Hidetoshi Nishimori, Masayuki Ohzeki, Manaka Okuyama
arxiv.org/abs/2507.00276

@arXiv_csIR_bot@mastoxiv.page
2025-06-03 16:48:45

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

@arXiv_mathCT_bot@mastoxiv.page
2025-07-01 09:26:03

Extending conceptual completeness via virtual ultracategories
Gabriel Saadia
arxiv.org/abs/2506.23935 arxiv.org/pdf/2…

@arXiv_csDB_bot@mastoxiv.page
2025-07-03 08:03:10

PathDB: A system for evaluating regular path queries
Roberto Garc\'ia, Renzo Angles, Vicente Rojas, Sebasti\'an Ferrada
arxiv.org/abs/2507.01755

@arXiv_quantph_bot@mastoxiv.page
2025-06-18 10:07:20

Experimental demonstration of high-fidelity logical magic states from code switching
Lucas Daguerre, Robin Blume-Kohout, Natalie C. Brown, David Hayes, Isaac H. Kim
arxiv.org/abs/2506.14169

@teledyn@mstdn.ca
2025-05-27 04:23:08

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.

@arXiv_csAR_bot@mastoxiv.page
2025-06-03 07:16:38

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
arxiv.org/abs/2506.00005

@floheinstein@chaos.social
2025-06-25 15:47:40

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".

@arXiv_csAI_bot@mastoxiv.page
2025-06-05 09:38:19

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

@arXiv_csSE_bot@mastoxiv.page
2025-06-04 07:31:51

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
arxiv.org/abs/2506.02658

@fanf@mendeddrum.org
2025-06-20 08:42:03

from my link log —
Boolean blindness.
existentialtype.wordpress.com/
saved 2024-09-21

@shoppingtonz@mastodon.social
2025-05-01 08:35:38

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

@arXiv_csLO_bot@mastoxiv.page
2025-06-03 07:21:52

A Topological Semantics of Dialogue: Nerve Structures and Logical Extraction
Andreu Ballus Santacana
arxiv.org/abs/2506.00615

@jonippolito@digipres.club
2025-04-19 13:21:19

DOGE's push from tape archives to cloud-based "permanent modern digital records" (not a thing) opens the door to increased software obsolescence, hacking, and climate impact. Greater transparency? Maybe—or these wannabe nerds just plan to surveil and monetize govt data

@blakes7bot@mas.torpidity.net
2025-06-22 09:14:21

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?
blake.torpidity.net/m/203/71

Claude 3.7 describes the image as: "The image shows a person with a short dark pixie haircut wearing an elaborate white costume with a distinctive crystalline or transparent collar design that extends upward around the neck. They're wearing teardrop-shaped earrings that complement the outfit. The setting appears to be a minimalist, bright white environment that gives a futuristic, clinical feel typical of science fiction productions from that era. The costume design features intricate details t…
@arXiv_csPL_bot@mastoxiv.page
2025-06-02 07:20:44

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
arxiv.org/abs/2505.23819

@hex@kolektiva.social
2025-06-14 11:01:02

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.

@grumpybozo@toad.social
2025-06-18 18:09:59

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…

@arXiv_quantph_bot@mastoxiv.page
2025-05-30 10:27:53

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

@arXiv_mathAT_bot@mastoxiv.page
2025-06-25 08:20:50

Hypercubical manifolds in homotopy type theory
Samuel Mimram, \'Emile Oleon
arxiv.org/abs/2506.19402 arxiv.org/pd…

@pgcd@mastodon.online
2025-06-14 20:16:11

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".

@datascience@genomic.social
2025-06-11 10:00:01

Im using case_when() quite a lot, case_match() is new to me: #rstats

@arXiv_csDC_bot@mastoxiv.page
2025-06-23 08:03:09

TrainVerify: Equivalence-Based Verification for Distributed LLM Training
Yunchi Lu, Youshan Miao, Cheng Tan, Peng Huang, Yi Zhu, Xian Zhang, Fan Yang
arxiv.org/abs/2506.15961

@arXiv_csIR_bot@mastoxiv.page
2025-05-30 09:56:03

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

@davidshq@hachyderm.io
2025-05-03 01:47:59

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

@arXiv_csCG_bot@mastoxiv.page
2025-06-24 09:12:50

How Hard is it to be a Star? Convex Geometry and the Real Hierarchy
Marcus Schaefer, Daniel \v{S}tefankovi\v{c}
arxiv.org/abs/2506.18818

@arXiv_csCV_bot@mastoxiv.page
2025-06-10 19:00:01

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

@arXiv_csCL_bot@mastoxiv.page
2025-06-26 09:08:50

Enhancing Large Language Models through Structured Reasoning
Yubo Dong, Hehe Fan
arxiv.org/abs/2506.20241 arxiv.org/p…

@arXiv_physicsgenph_bot@mastoxiv.page
2025-06-03 07:48:25

"Quantum supremacy" challenged. Instantaneous noise-based logic with benchmark demonstrations
Nasir Kenarangui, Arthur Powalka, Laszlo B. Kish
arxiv.org/abs/2506.00063

@arXiv_quantph_bot@mastoxiv.page
2025-07-03 09:41:10

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
arxiv.org/abs/2507.01199

@arXiv_csLO_bot@mastoxiv.page
2025-06-04 13:35:03

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

@arXiv_econTH_bot@mastoxiv.page
2025-06-02 07:22:09

A note on the diversity Owen values
Songtao He, Erfang Shan, Xinyu Sun
arxiv.org/abs/2505.24171 arxiv.org/pdf/2505.24…

@arXiv_csAI_bot@mastoxiv.page
2025-07-01 10:01:53

AI's Euclid's Elements Moment: From Language Models to Computable Thought
Xinmin Fang, Lingfeng Tao, Zhengxiong Li
arxiv.org/abs/2506.23080

@arXiv_csPL_bot@mastoxiv.page
2025-06-13 07:52:30

A Language-Agnostic Logical Relation for Message-Passing Protocols
Tesla Zhang, Sonya Simkin, Rui Li, Yue Yao, Stephanie Balzer
arxiv.org/abs/2506.10026

@arXiv_quantph_bot@mastoxiv.page
2025-06-18 10:09:54

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
arxiv.org/abs/2506.14688

@burger_jaap@mastodon.social
2025-06-12 05:58:30

For a long time, it was thought that smart charging required the charging point to be made ‘smart’. However, the significant growth of smart charging – including in Europe – lies in car connectivity. This creates the best and most logical user experience and makes a fleet of EVs grid-responsive.

@arXiv_csLO_bot@mastoxiv.page
2025-06-03 16:08:15

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

@arXiv_csCL_bot@mastoxiv.page
2025-06-26 08:25:40

Leveraging AI Graders for Missing Score Imputation to Achieve Accurate Ability Estimation in Constructed-Response Tests
Masaki Uto, Yuma Ito
arxiv.org/abs/2506.20119

@arXiv_condmatother_bot@mastoxiv.page
2025-05-26 10:31:07

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

@arXiv_csAI_bot@mastoxiv.page
2025-07-01 10:22:03

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
arxiv.org/abs/2506.23128

@arXiv_nlincd_bot@mastoxiv.page
2025-05-30 07:31:33

Experimental realization of all logic elements and memory latch in SC-CNN Chua's circuit
Ashokkumar P, Sathish Aravindh M, Venkatesan A, Lakshmanan M
arxiv.org/abs/2505.23303

@arXiv_quantph_bot@mastoxiv.page
2025-06-17 13:07:14

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
arxiv.org/abs/2506.13724

@arXiv_csSE_bot@mastoxiv.page
2025-06-11 08:37:35

Logic Mining from Process Logs: Towards Automated Specification and Verification
Radoslaw Klimek, Julia Witek
arxiv.org/abs/2506.08628

@arXiv_mathLO_bot@mastoxiv.page
2025-06-26 08:22:30

Iterated jump noncomputability and compactness
Gavin Dooley
arxiv.org/abs/2506.20620 arxiv.org/pdf/2506.20620

@arXiv_csLO_bot@mastoxiv.page
2025-07-01 08:55:23

Compositional Control-Driven Boolean Circuits
Damian Arellanes
arxiv.org/abs/2506.22687 arxiv.org/pdf/2506.22687

@arXiv_quantph_bot@mastoxiv.page
2025-06-23 12:23:40

Comparison of spin-qubit architectures for quantum error-correcting codes
Mauricio Guti\'errez, Juan S. Rojas-Arias, David Obando, Chien-Yuan Chang
arxiv.org/abs/2506.17190

@arXiv_csLO_bot@mastoxiv.page
2025-07-01 09:06:53

Model-theoretic Forcing in Transition Algebra
Go Hashimoto, Daniel G\u{a}in\u{a}
arxiv.org/abs/2506.22828 arxiv.org/p…

@arXiv_quantph_bot@mastoxiv.page
2025-07-01 08:55:33

Demonstration of measurement-free universal fault-tolerant quantum computation
Friederike Butt, Ivan Pogorelov, Robert Freund, Alex Steiner, Marcel Meyer, Thomas Monz, Markus M\"uller
arxiv.org/abs/2506.22600

@arXiv_csDB_bot@mastoxiv.page
2025-06-11 07:27:43

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

@arXiv_csCG_bot@mastoxiv.page
2025-06-11 07:19:43

k-Planar and Fan-Crossing Drawings and Transductions of Planar Graphs
Petr Hlin\v{e}n\'y, Jan Jedelsk\'y
arxiv.org/abs/2506.08585

@arXiv_csAI_bot@mastoxiv.page
2025-06-24 11:40:10

The 4th Dimension for Scaling Model Size
Ruike Zhu, Hanwen Zhang, Tianyu Shi, Chi Wang, Tianyi Zhou, Zengyi Qin
arxiv.org/abs/2506.18233

@arXiv_csCL_bot@mastoxiv.page
2025-06-10 18:55:20

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

@arXiv_csSE_bot@mastoxiv.page
2025-06-16 10:10:09

DCE-LLM: Dead Code Elimination with Large Language Models
Minyu Chen, Guoqiang Li, Ling-I Wu, Ruibang Liu
arxiv.org/abs/2506.11076

@arXiv_mathLO_bot@mastoxiv.page
2025-06-17 17:13:50

Replaced article(s) found for math.LO. arxiv.org/list/math.LO/new
[1/1]:
Some reflections on the relationship between logical incompleteness and concrete incompleteness

@arXiv_csAI_bot@mastoxiv.page
2025-06-23 18:11:43

Replaced article(s) found for cs.AI. 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

@arXiv_quantph_bot@mastoxiv.page
2025-06-12 10:11:41

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. …

@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_csSE_bot@mastoxiv.page
2025-06-16 10:12:19

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
arxiv.org/abs/2506.11141

@arXiv_quantph_bot@mastoxiv.page
2025-06-26 10:07:40

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

@arXiv_csCL_bot@mastoxiv.page
2025-06-10 18:54:20

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

@arXiv_mathLO_bot@mastoxiv.page
2025-06-11 09:13:25

The Complexity of the Set of Validities of a Theory
Denis Hirschfeldt, Henry Towsner, Scott Weinstein
arxiv.org/abs/2506.08901

@arXiv_csMA_bot@mastoxiv.page
2025-06-13 07:44:20

AniMaker: Automated Multi-Agent Animated Storytelling with MCTS-Driven Clip Generation
Haoyuan Shi, Yunxin Li, Xinyu Chen, Longyue Wang, Baotian Hu, Min Zhang
arxiv.org/abs/2506.10540

@arXiv_csCL_bot@mastoxiv.page
2025-06-10 19:06:11

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

@arXiv_quantph_bot@mastoxiv.page
2025-06-23 17:33:56

Replaced article(s) found for quant-ph. 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

@arXiv_csSE_bot@mastoxiv.page
2025-06-11 08:22:05

RE-oriented Model Development with LLM Support and Deduction-based Verification
Radoslaw Klimek
arxiv.org/abs/2506.08606

@arXiv_mathLO_bot@mastoxiv.page
2025-06-11 13:58:37

Replaced article(s) found for math.LO. arxiv.org/list/math.LO/new/
[1/1]:
A logical perspective on intending to keep a true secret

@arXiv_csAI_bot@mastoxiv.page
2025-06-12 13:51:41

Replaced article(s) found for cs.AI. arxiv.org/list/cs.AI/new/
[1/6]:
Goal Kernel Planning: Linearly-Solvable Non-Markovian Policies for Logical Tasks with Goal-Condit...

@arXiv_quantph_bot@mastoxiv.page
2025-06-11 10:12:45

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
arxiv.org/abs/2506.08565

@arXiv_quantph_bot@mastoxiv.page
2025-06-10 11:10:52

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
arxiv.org/abs/2506.06883