Switzerland

Sensemaking of physics equations: Rationale, conceptualization, and core strategies

In physics instruction, equations are often treated primarily as tools for obtaining numerical results. Yet physicists also use them to describe dependencies, explain why those dependencies hold, predict what happens in new situations, test expressions against physical knowledge, and explore consequences that are not i...

Machine Learning of First Principles Observables

Closing the Cross-Dialect Gap: Query Plans as a Portable Interface in Text-to-SQL

This work argues that the fix is to change the generation target: instead of asking an LLM to emit dialect-specific SQL, it has it emit a dialect-agnostic relational algebra query plan, which a deterministic compiler then renders into SQL for any supported backend.

DDRop: Active Memory Interposer Attacks on Confidential VMs by Dropping DDR5 Writes

This work presents DDRop, a new primitive that exploits the absence of cryptographic freshness to break the integrity of Intel TDX, Scalable SGX, and AMD SEV-SNP and demonstrates end-to-end attacks on an up-to-date TDX platform.

Reproducible macroscopic dynamics in a closed-loop human-AI learning system

An externally anchored leading-order effective field linking empirical dynamics, an interpretable mechanism and neural computation is identified linking empirical dynamics, an interpretable mechanism and neural computation in closed-loop human-AI systems.