Tootfinder

Google adds featured notebooks to NotebookLM from publications, including The Economist and The Atlantic, as well as professors, authors, and select works (Sarah Perez/TechCrunch)
https://techcrunch.com/2025/07/14/notebooklm-ad…

NotebookLM adds featured notebooks from The Economist, The Atlantic, and others | TechCrunch
Google is adding notebooks from various authors, publications, researchers, and nonprofits to its popular AI-powered research and note-taking assistant NotebookLM.

Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library
Antonella Bilotta
https://arxiv.org/abs/2506.10048 https://…

Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library
The present dissertation introduces the research project on HOLMS (\textbf{HOL} Light Library for \textbf{M}odal \textbf{S}ystems), a growing modular framework for modal reasoning within the HOL Light proof assistant. To provide an accessible introduction to the library, the fundamentals of modal logic are outlined first, followed by a concise manual for the proof assistant itself. The core contribution of this work on HOLMS is the development of a unified and modular strategy for proving adequ…

"Comparative review on Primo Research Assistant, Scopus AI, Web of Science Research Assistant and a explainer for AI search for librarians" by Aaron Tay: https://musingsaboutlibrarianship.blogspot.com/2025/05/comparative-review-…

The ATLAS Virtual Research Assistant
H. F. Stevance, K. W. Smith, S. J. Smartt, S. J. Roberts, N. Erasmus, D. R. Young, A. Clocchiatti
https://arxiv.org/abs/2506.09778

The ATLAS Virtual Research Assistant
We present the Virtual Research Assistant (VRA) of the ATLAS sky survey which performs preliminary eyeballing on our clean transient data stream. The VRA uses Histogram Based Gradient Boosted Decision Tree Classifiers trained on real data to score incoming alerts on two axes: "Real" and "Galactic". The alerts are then ranked using a geometric distance such that the most "Real" and "Extra-galactic" receive high scores; the scores are updated when new light curve data is obtained on subsequent vi…

#today will be surfing the #NewScientist article splurge, getting ready to 'onboard' my friend as RA (Research Assistant) to help me find a good solutiion for a particularly knotty issue, and going to the dentist. (The last may not be good since I've had a persistent issue for a coup…

Unpacking Graduate Students' Learning Experience with Generative AI Teaching Assistant in A Quantitative Methodology Course
Zhanxin Hao, Haifeng Luo, Yongyi Chen, Yu Zhang
https://arxiv.org/abs/2506.02966

Unpacking Graduate Students' Learning Experience with Generative AI Teaching Assistant in A Quantitative Methodology Course
The study was conducted in an Advanced Quantitative Research Methods course involving 20 graduate students. During the course, student inquiries made to the AI were recorded and coded using Bloom's taxonomy and the CLEAR framework. A series of independent sample t-tests and poisson regression analyses were employed to analyse the characteristics of different questions asked by students with different backgrounds. Post course interviews were conducted with 10 students to gain deeper insights int…

"We think of generating source code from a prompt as an AI-powered feature of modern IDEs, but the general problem has a rich history in research efforts and domain-specific programming systems." Join William Benton at this year's Berlin Buzzwords to hear him talk about the history of program synthesis, its relationship to the history of AI, and the lessons we can learn from it today.
Learn more:

ImprovMate: Multimodal AI Assistant for Improv Actor Training
Riccardo Drago, Yotam Sechayk, Mustafa Doga Dogan, Andrea Sanna, Takeo Igarashi
https://arxiv.org/abs/2506.23180

ImprovMate: Multimodal AI Assistant for Improv Actor Training
Improvisation training for actors presents unique challenges, particularly in maintaining narrative coherence and managing cognitive load during performances. Previous research on AI in improvisation performance often predates advances in large language models (LLMs) and relies on human intervention. We introduce ImprovMate, which leverages LLMs as GPTs to automate the generation of narrative stimuli and cues, allowing actors to focus on creativity without keeping track of plot or character con…