output
20132026
most citedEfficient Neural Network Robustness Certification with General Activation Functions

332 citations

Showing 2024Show all

5 papers · 1 filter

physics.ins-det2024★ 8 cited

CaloChallenge 2022: A Community Challenge for Fast Calorimeter Simulation

Claudius Krause, Michele Faucci Giannelli, Gregor Kasieczka +66

We present the results of the "Fast Calorimeter Simulation Challenge 2022" - the CaloChallenge. We study state-of-the-art generative models on four calorimeter shower datasets of i…

cs.LG2024★ 2 cited

Local Off-Grid Weather Forecasting with Multi-Modal Earth Observation Data

Qidong Yang, Jonathan Giezendanner, Daniel Salles Civitarese +8

Urgent applications like wildfire management and renewable energy generation require precise, localized weather forecasts near the Earth's surface. However, forecasts produced by m…

cs.PL2024★ 2 cited

Inference Plans for Hybrid Particle Filtering

Ellie Y. Cheng, Eric Atkinson, Guillaume Baudart +2

Advanced probabilistic programming languages (PPLs) using hybrid particle filtering combine symbolic exact inference and Monte Carlo methods to improve inference performance. These…

cs.CL2024★ 5 cited

A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP

Yankai Zeng, Abhiramon Rajashekharan, Kinjal Basu +3

The development of large language models (LLMs), such as GPT, has enabled the construction of several socialbots, like ChatGPT, that are receiving a lot of attention for their abil…

cs.LG2024★ 2 cited

When Heterophily Meets Heterogeneity: Challenges and a New Large-Scale Graph Benchmark

Junhong Lin, Xiaojie Guo, Shuaicheng Zhang +2

Graph mining has become crucial in fields such as social science, finance, and cybersecurity. Many large-scale real-world networks exhibit both heterogeneity, where multiple node a…