219 citations
- Tsinghua UniversityCN23 papers
- Princeton UniversityUS16 papers
- National Institutes of HealthUS13 papers
- Netherlands Institute for Radio AstronomyNL8 papers
- Ruhr University BochumDE8 papers
- University of AmsterdamNL8 papers
- University of OxfordGB8 papers
- Beijing National Research Center for Information Science and TechnologyCN7 papers
- The University of SydneyAU7 papers
- University of GroningenNL7 papers
- Astronomy and SpaceAU5 papers
- Astro Space CenterRU5 papers
73 papers
ChatSVA: Bridging SVA Generation for Hardware Verification via Task-Specific LLMs
Lik Tung Fu, Jie Zhou, Shaokai Ren +6
Functional verification consumes over 50% of the IC development lifecycle, where SystemVerilog Assertions (SVAs) are indispensable for formal property verification and enhanced sim…
Exact Mobility Edges in a Disorder-Free Dimerized Stark Lattice with Effective Unbounded Hopping
Yunyao Qi, Heng Lin, Quanfeng Lu +2
We propose a disorder-free one-dimensional single-particle Hamiltonian hosting an exact mobility edge (ME), placing the system outside the assumptions of no-go theorems regarding u…
OpenCourier: an Open Protocol for Building a Decentralized Ecosystem of Community-owned Delivery Platforms
Yuhan Liu, Varun Nagaraj Rao, Sohyeon Hwang +2
In this vision paper, we outline a blueprint for a decentralized network for the delivery industry, powered by an open protocol. By presenting the network's key components and laye…
Bonsai: Intentional and Personalized Social Media Feeds
Omar El Malki, Marianne Aubin Le Quéré, Andrés Monroy-Hernández +1
Social media feeds use predictive models to maximize engagement, often misaligning how people consume content with how they wish to. We introduce Bonsai, a system that enables peop…
LAURON VI: A Six-Legged Robot for Dynamic Walking
Christian Eichmann, Sabine Bellmann, Nicolas Hügel +5
Legged locomotion enables robotic systems to traverse extremely challenging terrains. In many real-world scenarios, the terrain is not that difficult and these mixed terrain types…
Advancing Science- and Evidence-based AI Policy
Rishi Bommasani, Sanjeev Arora, Jennifer Chayes +17
AI policy should advance AI innovation by ensuring that its potential benefits are responsibly realized and widely shared. To achieve this, AI policymaking should place a premium o…