Tootfinder

Guaranteed Guess: A Language Modeling Approach for CISC-to-RISC Transpilation with Testing Guarantees
Ahmed Heakl, Sarim Hashmi, Chaimaa Abi, Celine Lee, Abdulrahman Mahmoud
https://arxiv.org/abs/2506.14606

Guaranteed Guess: A Language Modeling Approach for CISC-to-RISC Transpilation with Testing Guarantees
The hardware ecosystem is rapidly evolving, with increasing interest in translating low-level programs across different instruction set architectures (ISAs) in a quick, flexible, and correct way to enhance the portability and longevity of existing code. A particularly challenging class of this transpilation problem is translating between complex- (CISC) and reduced- (RISC) hardware architectures, due to fundamental differences in instruction complexity, memory models, and execution paradigms. I…

Reed-Muller Codes for Quantum Pauli and Multiple Access Channels
Dina Abdelhadi, Colin Sandon, Emmanuel Abbe, Ruediger Urbanke
https://arxiv.org/abs/2506.08651

Reed-Muller Codes for Quantum Pauli and Multiple Access Channels
Reed-Muller (RM) codes have undergone significant analytical advancements over the past decade, particularly for binary memoryless symmetric (BMS) channels. We extend the scope of RM codes development and analysis to multiple-access channels (MACs) and quantum Pauli channels, leveraging a unified approach. Specifically, we first derive the achievable rate region for RM codes on so-called Q-MACs, a class of MACs with additive correlated noise. This is achieved via a generalization of the bending…

Kurdish Militant Group Agrees to Swap Guns for Ballots and End 40-year Insurgency with Turkey https://www.goodnewsnetwork.org/kurdish-militant-group-agrees-to-swap-guns-for-ballots-and-end-40-year-insurgency-…

Kurdish Militant Group Agrees to Swap Guns for Ballots and End 40-year Insurgency with Turkey
Imprisoned founder of the group, Abdullah Öcalan, released a statement from prison calling on the group to convene a conference and dissolve.