How to Prove False Statements: Practical Attacks on Fiat-Shamir https://eprint.iacr.org/2025/118
IACR Cryptology ePrint Archive
How to Prove False Statements: Practical Attacks on Fiat-Shamir
The Fiat-Shamir (FS) transform is a prolific and powerful technique for compiling public-coin interactive protocols into non-interactive ones. Roughly speaking, the idea is to replace the random coins of the verifier with the evaluations of a complex hash…
❤3😱1👀1
Quasiperiodically Forced Damped Pendula and Schrödinger Equations with Quasiperiodic Potentials: Implications of Their Equivalence https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.55.2103
👀1
Unconventional Superconducting Phase Diagram of Monolayer WTe2 https://arxiv.org/abs/2501.16699
arXiv.org
Unconventional Superconducting Phase Diagram of Monolayer WTe2
The existence of a quantum critical point (QCP) and fluctuations around it are believed to be important for understanding the phase diagram in unconventional superconductors such as cuprates, iron...
A Classifying Space for Phases of Matrix Product States https://arxiv.org/abs/2501.14241
arXiv.org
A Classifying Space for Phases of Matrix Product States
We construct a topological space $\mathcal{B}$ consisting of translation invariant injective matrix product states (MPS) of all physical and bond dimensions and show that it has the weak homotopy...
The bread emoji Team’s Submission to the IEEE BigData 2024 Cup: Predicting Chess Puzzle Difficulty Challenge https://ieeexplore.ieee.org/document/10826037
Probing Non-Equilibrium Topological Order on a Quantum Processor https://arxiv.org/abs/2501.18461
arXiv.org
Probing Non-Equilibrium Topological Order on a Quantum Processor
Out-of-equilibrium phases in many-body systems constitute a new paradigm in quantum matter - they exhibit dynamical properties that may otherwise be forbidden by equilibrium thermodynamics. Among...
👍3
Improving Your Model Ranking on Chatbot Arena by Vote Rigging https://arxiv.org/abs/2501.17858
arXiv.org
Improving Your Model Ranking on Chatbot Arena by Vote Rigging
Chatbot Arena is a popular platform for evaluating LLMs by pairwise battles, where users vote for their preferred response from two randomly sampled anonymous models. While Chatbot Arena is widely...
👍6
ReferDINO: Referring Video Object Segmentation with Visual Grounding Foundations https://arxiv.org/abs/2501.14607
arXiv.org
ReferDINO: Referring Video Object Segmentation with Visual...
Referring video object segmentation (RVOS) aims to segment target objects throughout a video based on a text description. This is challenging as it involves deep vision-language understanding,...
Physical Review Letters collection of the year 2024 https://promo.aps.org/PRL2024
LLMs can see and hear without any training https://arxiv.org/abs/2501.18096
arXiv.org
LLMs can see and hear without any training
We present MILS: Multimodal Iterative LLM Solver, a surprisingly simple, training-free approach, to imbue multimodal capabilities into your favorite LLM. Leveraging their innate ability to perform...
👍3
Goedel-Prover A New Frontier in Automated Theorem Proving https://goedel-lm.github.io/
goedel-lm.github.io
Goedel-Prover
A New Frontier in Open-source Automated Theorem Proving
🔥6👍4
Constraints on the location of the liquid–liquid critical point in water https://www.nature.com/articles/s41567-024-02761-0
Nature
Constraints on the location of the liquid–liquid critical point in water
Nature Physics - A liquid–liquid transition in supercooled water has long been predicted. State-of-the-art simulations now precisely confine the temperature and pressure ranges for this...
❤1
Improving Transformer World Models for Data-Efficient RL https://arxiv.org/abs/2502.01591
arXiv.org
Improving Transformer World Models for Data-Efficient RL
We present an approach to model-based RL that achieves a new state of the art performance on the challenging Craftax-classic benchmark, an open-world 2D survival game that requires agents to...
👍2
Improving Vision-Language-Action Model with Online Reinforcement Learning https://arxiv.org/abs/2501.16664
arXiv.org
Improving Vision-Language-Action Model with Online Reinforcement Learning
Recent studies have successfully integrated large vision-language models (VLMs) into low-level robotic control by supervised fine-tuning (SFT) with expert robotic datasets, resulting in what we...
Mathematical Foundations of Quantum Mechanics: An Advanced Short Course https://arxiv.org/abs/1508.06951
arXiv.org
Mathematical Foundations of Quantum Mechanics: An Advanced Short Course
This paper collects and extends the lectures I gave at the "XXIV International Fall Workshop on Geometry and Physics" held in Zaragoza (Spain) August 31 - September 4, 2015. Within these lectures...
👍2
Empowering deep neural quantum states through efficient optimization https://www.nature.com/articles/s41567-024-02566-1
Nature
Empowering deep neural quantum states through efficient optimization
Nature Physics - An optimization algorithm reduces the cost of training large-scale neural quantum states. This leads to accurate computations of the ground states of frustrated magnets and...
Leveraging Online Olympiad-Level Math Problems for LLMS Training and Contamination-Resistant Evaluation https://livemathbench.github.io/
Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2 https://arxiv.org/abs/2502.03544
via @seeallochnaya
via @seeallochnaya
arXiv.org
Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2
We present AlphaGeometry2, a significantly improved version of AlphaGeometry introduced in Trinh et al. (2024), which has now surpassed an average gold medalist in solving Olympiad geometry...
👀7👍3