Tootfinder

Herb.jl: A Unifying Program Synthesis Library
Tilman Hinnerichs, Reuben Gardos Reid, Jaap de Jong, Bart Swinkels, Pamela Wochner, Nicolae Filat, Tudor Magurescu, Issa Hanou, Sebastijan Dumancic
https://arxiv.org/abs/2510.09726

Herb.jl: A Unifying Program Synthesis Library
Program synthesis -- the automatic generation of code given a specification -- is one of the most fundamental tasks in artificial intelligence (AI) and many programmers' dream. Numerous synthesizers have been developed to tackle program synthesis, manifesting different ideas to approach the exponentially growing program space. While numerous smart program synthesis tools exist, reusing and remixing previously developed methods is tedious and time-consuming. We propose Herb.jl, a unifying progra…

🔊 #NowPlaying on #BBCRadio3:
#ThroughTheNight
- Max Richter's Recomposed: Vivaldi – The Four Seasons
Britten Sinfonia perform a programme at the BBC Proms in 2023 with a theme of musical reimagining, including Max Richter's recomposed version of Vivaldi's Four Seasons.
Relisten now 👇
https://www.bbc.co.uk/programmes/m002n8b5

Science in Action will finish at the end of this month! I will miss it dearly.
https://www.linkedin.com/posts/roland-pease-10678a59_private-eye-has-picked-up-on-the-news-that-activity-7303433572315508736-Pq3k

Private Eye has picked up on the news that Science in Action is to be dropped later this year from the BBC World Service, just one of several wide-ranging cost-cutting changes. Obviously, we're… | Roland Pease | 50 comments
Private Eye has picked up on the news that Science in Action is to be dropped later this year from the BBC World Service, just one of several wide-ranging cost-cutting changes. Obviously, we're trying to push back. It's not just that I love working on the programme, there are new discoveries and critical issues aplenty each week to dig into, but we try hard always to fulfil a need for our global audience, representing research from across the planet, and to dig deeper into the science than (say…

Quantum Alternating Direction Method of Multipliers for Semidefinite Programming
Hantao Nie, Dong An, Zaiwen Wen
https://arxiv.org/abs/2510.10056 https://a…

Quantum Alternating Direction Method of Multipliers for Semidefinite Programming
Semidefinite programming (SDP) is a fundamental convex optimization problem with wide-ranging applications. However, solving large-scale instances remains computationally challenging due to the high cost of solving linear systems and performing eigenvalue decompositions. In this paper, we present a quantum alternating direction method of multipliers (QADMM) for SDPs, building on recent advances in quantum computing. An inexact ADMM framework is developed, which tolerates errors in the iterates …

Guiding Energy-Efficient Locomotion through Impact Mitigation Rewards
Chenghao Wang, Arjun Viswanathan, Eric Sihite, Alireza Ramezani
https://arxiv.org/abs/2510.09543 https://…

Guiding Energy-Efficient Locomotion through Impact Mitigation Rewards
Animals achieve energy-efficient locomotion by their implicit passive dynamics, a marvel that has captivated roboticists for decades.Recently, methods incorporated Adversarial Motion Prior (AMP) and Reinforcement learning (RL) shows promising progress to replicate Animals' naturalistic motion. However, such imitation learning approaches predominantly capture explicit kinematic patterns, so-called gaits, while overlooking the implicit passive dynamics. This work bridges this gap by incorporating…

Ranking Policies Under Loss Aversion and Inequality Aversion
Martyna Kobus, Rados{\l}aw Kurek, Thomas Parker
https://arxiv.org/abs/2510.09590 https://arxiv…

Ranking Policies Under Loss Aversion and Inequality Aversion
Strong empirical evidence from laboratory experiments, and more recently from population surveys, shows that individuals, when evaluating their situations, pay attention to whether they experience gains or losses, with losses weighing more heavily than gains. The electorate's loss aversion, in turn, influences politicians' choices. We propose a new framework for welfare analysis of policy outcomes that, in addition to the traditional focus on post-policy incomes, also accounts for individuals' …

A Duality Theorem for Classical-Quantum States with Applications to Complete Relational Program Logics
Gilles Barthe, Minbo Gao, Jam Kabeer Ali Khan, Matthijs Muis, Ivan Renison, Keiya Sakabe, Michael Walter, Yingte Xu, Li Zhou
https://arxiv.org/abs/2510.07051

A Duality Theorem for Classical-Quantum States with Applications to Complete Relational Program Logics
Duality theorems play a fundamental role in convex optimization. Recently, it was shown how duality theorems for countable probability distributions and finite-dimensional quantum states can be leveraged for building relatively complete relational program logics for probabilistic and quantum programs, respectively. However, complete relational logics for classical-quantum programs, which combine classical and quantum computations and operate over classical as well as quantum variables, have rem…

Series B, Episode 05 - Pressure Point
MUTOID: They have not had time to get far.
TRAVIS: Couple of miles at the most, and without their teleport they're earthbound now.
MUTOID: I will call security.
TRAVIS: No!
https://blake.torpidity.net/m/205/416 B7B3

🔊 #NowPlaying on #BBCRadio3:
#ThisClassicalLife
- Jess Gillam with... Rushil Ranjan
Jess Gillam and composer Rushil Ranjan share their favourite music.
Relisten now 👇
https://www.bbc.co.uk/programmes/m002lnk6

🔊 #NowPlaying on #BBCRadio3:
#SoundOfCinema
- Edith talks to Ludwig Göransson
Edith Bowman curates your weekly selection of standout scores and soundtracks, talks to Oppenheimer composer Ludwig Göransson, and discovers Emma Thompson's Pick of the Flicks.
Relisten now 👇
https://www.bbc.co.uk/programmes/m002lnk4