Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Harvard UniversityUS735 papers
- Massachusetts Institute of TechnologyUS455 papers
- University of OxfordGB379 papers
- University of ChicagoUS368 papers
- University of MichiganUS356 papers
- Lawrence Berkeley National LaboratoryUS354 papers
- The Ohio State UniversityUS350 papers
- Yale UniversityUS348 papers
- University of PittsburghUS317 papers
- Argonne National LaboratoryUS316 papers
- University College LondonGB312 papers
- University of PisaIT310 papers
3 papers · 2 filters
Closing the Loop: Formally Verified Law as a Reward Signal for Self-Improving Legal AI
Armin Heydari, Torben Leowald
This article develops an architecture that creates a formally verifiable reward signal to train legal AI, adapting the LLM proposes, verifier disposes paradigm from mathematical AI…
DynamiQ: Accelerating Gradient Synchronization using Compressed Multi-hop All-reduce
Wenchen Han, Shay Vargaftik, Michael Mitzenmacher +1
Multi-hop all-reduce is the de facto backbone of large model training. As the training scale increases, the network often becomes a bottleneck, motivating the reduction of the volu…
Deep Neural Networks as Discrete Dynamical Systems: Implications for Physics-Informed Learning
Abhisek Ganguly, Santosh Ansumali, Sauro Succi
We revisit the analogy between feed-forward deep neural networks (DNNs) and discrete dynamical systems derived from neural integral equations and their corresponding partial differ…