Tootfinder

🔊 #NowPlaying on BBCRadio3's #RoundMidnight
Aki Takase Trio:
🎵 Minerva's Owl (Live)
#AkiTakaseTrio
https://open.spotify.com/track/5syytFnChRDt1eMDHKhpQP

Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization
Jin Peng Zhou, Charles Staats, Wenda Li, Christian Szegedy, Kilian Q. Weinberger, Yuhuai Wu
https://arxiv.org/abs/2403.18120

Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization
Large language models (LLM), such as Google's Minerva and OpenAI's GPT families, are becoming increasingly capable of solving mathematical quantitative reasoning problems. However, they still make unjustified logical and computational errors in their reasoning steps and answers. In this paper, we leverage the fact that if the training corpus of LLMs contained sufficiently many examples of formal mathematics (e.g. in Isabelle, a formal theorem proving environment), they can be prompted to transl…

A useful piece of cultural analysis as scholars and publishers continue to debate research integrity and the automation of publishing tasks: Felicitas Hesselmann’s “A Tale of Two Academic Communities: Digital Imaginaries of Automatic Screening Tools in Editorial Practice”
#ResearchIntegrity #ScholarlyPublishing

A Tale of Two Academic Communities: Digital Imaginaries of Automatic Screening Tools in Editorial Practice - Minerva
Automatic screening tools such as plagiarism scanners play an increasing role in journals’ efforts to detect and prevent violations of research integrity. More than just neutral technological means, these tools constitute normatively charged instruments for governance. Employing the analytical concept of the digital imaginary, this contribution investigates the normative concepts that play a role in journals’ use of automatic screening. Using survey data of journal editors, as well as guida…

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

Minerva: A File-Based Ransomware Detector
Ransomware attacks have caused billions of dollars in damages in recent years, and are expected to cause billions more in the future. Consequently, significant effort has been devoted to ransomware detection and mitigation. Behavioral-based ransomware detection approaches have garnered considerable attention recently. These behavioral detectors typically rely on process-based behavioral profiles to identify malicious behaviors. However, with an increasing body of literature highlighting the vul…

🔊 #NowPlaying on BBCRadio3's #RoundMidnight
Aki Takase Trio:
🎵 Minerva's Owl (Live)
#AkiTakaseTrio
https://open.spotify.com/track/5syytFnChRDt1eMDHKhpQP

Towards an Edge Intelligence-Based Traffic Monitoring System
Vincenzo Barbuto, Claudio Savaglio, Roberto Minerva, Noel Crespi, Giancarlo Fortino
https://arxiv.org/abs/2403.12976 <…

First combined tuning on transverse kinematic imbalance data with and without pion production constraints
Weijun Li (GENIE Collaboration), Marco Roda (GENIE Collaboration), Julia Tena-Vidal (GENIE Collaboration), Costas Andreopoulos (GENIE Collaboration), Xianguo Lu (GENIE Collaboration), Adi Ashkenazi (GENIE Collaboration), Joshua Barrow (GENIE Collaboration), Steven Dytman (GENIE Collaboration), Hugh Gallagher (GENIE Collaboration), Alfonso Andres Garcia Soto (GENIE Collaboration), S…

First combined tuning on transverse kinematic imbalance data with and without pion production constraints
We present the first global tuning, using GENIE, of four transverse kinematic imbalance measurements of neutrino-hydrocarbon scattering, both with and without pion final states, from the T2K and MINERvA experiments. As a proof of concept, we have simultaneously tuned the initial state and final-state interaction models (SF-LFG and hA, respectively), producing a new effective theory that more accurately describes the data.

Towards an Edge Intelligence-Based Traffic Monitoring System
Vincenzo Barbuto, Claudio Savaglio, Roberto Minerva, Noel Crespi, Giancarlo Fortino
https://arxiv.org/abs/2403.12976 <…