Tootfinder

Frobenius theorem and fine structure of tangency sets to non-involutive distributions
Giovanni Alberti, Annalisa Massaccesi, Andrea Merlo
https://arxiv.org/abs/2506.03715

Frobenius theorem and fine structure of tangency sets to non-involutive distributions
In this paper we provide a complete answer to the question whether Frobenius' Theorem can be generalized to surfaces below the $C^{1,1}$ threshold. We study the fine structure of the tangency set in terms of involutivity of a given distribution and we highlight a tradeoff behavior between the regularity of a tangent surface and that of the tangency set. First of all, we prove a Frobenius-type result, that is, given a $k$-dimensional surface $S$ of class $C^1$ and a non-involutive $k$-distributi…

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

Enumerate-Conjecture-Prove: Formally Solving Answer-Construction Problems in Math Competitions
Mathematical reasoning lies at the heart of artificial intelligence, underpinning applications in education, program verification, and research-level mathematical discovery. Mathematical competitions, in particular, present two challenging problem types: theorem-proving, requiring rigorous proofs of stated conclusions, and answer-construction, involving hypothesizing and formally verifying mathematical objects. Large Language Models (LLMs) effectively generate creative candidate answers but str…

Turning to Online Forums for Legal Information: A Case Study of GDPR's Legitimate Interests
Lin Kyi, Cristiana Santos, Sushil Ammanaghatta Shivakumar, Franziska Roesner, Asia Biega
https://arxiv.org/abs/2506.04260

Turning to Online Forums for Legal Information: A Case Study of GDPR's Legitimate Interests
Practitioners building online services and tools often turn to online forums such as Reddit, Law Stack Exchange, and Stack Overflow for legal guidance to ensure compliance with the GDPR. The legal information presented in these forums directly impact present-day industry practitioner's decisions. Online forums can serve as gateways that, depending on the accuracy and quality of the answers provided, may either support or undermine the protection of privacy and data protection fundamental rights…

Optimizing Question Semantic Space for Dynamic Retrieval-Augmented Multi-hop Question Answering
Linhao Ye, Lang Yu, Zhikai Lei, Qin Chen, Jie Zhou, Liang He
https://arxiv.org/abs/2506.00491

Optimizing Question Semantic Space for Dynamic Retrieval-Augmented Multi-hop Question Answering
Retrieval-augmented generation (RAG) is usually integrated into large language models (LLMs) to mitigate hallucinations and knowledge obsolescence. Whereas,conventional one-step retrieve-and-read methods are insufficient for multi-hop question answering, facing challenges of retrieval semantic mismatching and the high cost in handling interdependent subquestions. In this paper, we propose Optimizing Question Semantic Space for Dynamic Retrieval-Augmented Multi-hop Question Answering (Q-DREAM). …

Went to Threads to check if we're there yet with the federation of the eurotrash portion of the userbase. Found Zuck's currently busy no-commenting to a bunch of angry writers whose books he used to train his AI.

This also points at the likely answer to the headscratcher of where some ancient people of the region found the water they needed. https://wandering.shop/@adapalmer/114773151081694915

Automatic Phase Calibration for High-resolution mmWave Sensing via Ambient Radio Anchors
Ruixu Geng, Yadong Li, Dongheng Zhang, Pengcheng Huang, Binquan Wang, Binbin Zhang, Zhi Lu, Yang Hu, Yan Chen
https://arxiv.org/abs/2506.23472

Automatic Phase Calibration for High-resolution mmWave Sensing via Ambient Radio Anchors
Millimeter-wave (mmWave) radar systems with large array have pushed radar sensing into a new era, thanks to their high angular resolution. However, our long-term experiments indicate that array elements exhibit phase drift over time and require periodic phase calibration to maintain high-resolution, creating an obstacle for practical high-resolution mmWave sensing. Unfortunately, existing calibration methods are inadequate for periodic recalibration, either because they rely on artificial refer…

Trump says Iran deal ‘could still happen’ and claims Tehran was ‘a few weeks away’ from nuclear weapon – Israel-Iran conflict live
Trump undecided on joining war on Iran as Khamenei warns him not to attack
Trump says that he will attend a meeting in an hour on the evacuation of US citizens from Israel, Reuters reports

Northern Powerhouse / Northern Way and now Northern Arc.
Not the answer. Needed is a proper constitutional settlement with devolution to coherent English regions, on a model of re-localisation of decisions and economic weight, where practical.
We prefer bioregions as the regional level.
Third time lucky? Andy Burnham makes his pitch, but we've heard it all before - Manchester Evening News

Third time lucky? Andy Burnham makes his pitch, but we've heard it all before
This idea has come back three times for a reason

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

Beyond Pairwise Learning-To-Rank At Airbnb
There are three fundamental asks from a ranking algorithm: it should scale to handle a large number of items, sort items accurately by their utility, and impose a total order on the items for logical consistency. But here's the catch-no algorithm can achieve all three at the same time. We call this limitation the SAT theorem for ranking algorithms. Given the dilemma, how can we design a practical system that meets user needs? Our current work at Airbnb provides an answer, with a working solutio…