AI Networking Cookbook: Practical recipes for AI-assisted network automation and development
Category
2,089 papers
FlowCheck, a constraint language to specify user-visible information flows directly through the application interface, where constraints can also be displayed and inspected without reading code, and are structured enough for reliable LLM generation.
When 54 international experts assessed AI-generated disinformation threats, they revealed a surprising pattern: while video deepfakes received the highest average threat ratings in the political domain (M = 6.31/7), the pattern differed in the health domain, where AI-generated text received the highest average rating (...
InsightToast is introduced, a mixed-initiative application that monitors verbal discourse in real time, identifies topics and informational needs as they emerge, and proactively retrieves relevant information through a multi-agent large language model (LLM)-based pipeline integrating retrieval-augmented generation (RAG...
This work introduces LipCoder, a voice-centric programming toolkit designed to deliver editor-level functionality through auditory and speech-based interfaces, and quantitative trends and qualitative feedback point to directions for auditory-first design that may broaden accessibility in speech-driven coding environmen...
Reach audiences
Advertise in front of researchers, engineers, and readers.
It is shown that rankings alone can guide generation under limited conditions, while transferable criterion inference remains constrained by the foundation model's ability to recognize, reason about, and verbalize musical attributes.
This work bridges the gap between affective computing and technical implementation of autonomous vehicles, grounding UX evaluation in real-world contexts and laying a foundation for user-centered design of autonomous mobility systems and robotics in general.
It is suggested that cognitive processes can provide a promising basis for support selection in proactive writing systems and is hypothesized that Flower and Hayes' cognitive process theory of writing offers an interpretable bridge between observable writing behavior and appropriate support types.
DOBI (Dynamic Opportunistic Body Input), a real-time XR technique that uses gaze to target a UI element, a brief trigger gesture to identify the recruited spare body region, and the region's subsequent motion to drive continuous 1D control, is presented.
Simulations show that over-reliance on a weak AI is especially harmful, and that diversifying AI signals across users can better keep the crowd informative, and conclude with implications for understanding human-AI interaction in information spread and designing misinformation interventions.
The best machines now out-see young adults here, without matching the human balance between suspicion and trust, without matching the human balance between suspicion and trust.
LandmarkLens, a mixed-reality navigation system that uses a vision-language model (VLM) to identify and highlight navigation-relevant landmarks is built, suggesting that guided landmark attention can support landmark-level spatial knowledge acquisition for people with poor SOD, a first step toward broader spatial learn...
FocusAdapt is presented, a context-aware DR system that predicts object-level distraction by integrating visual saliency, semantic relevance, and gaze behavior, enabling adaptive focus assistance during procedural tasks.
AI agents can generate code at a scale that’s hard for humans to review line-by-line. PDD Kit helps ensure the code is doing what the developer intended by creating formal specifications and testing against them. It converts developer intent into a Verus specification, proves AI-generated code meets it for every input, and uses tests where proofs aren't practical. Developers review intent, not every line. The post Formally verifying agent-written full-stack web apps with PDD Kit appeared first o…
Data Mining & Modeling
Professor Paris Smaragdis develops computers with superhuman hearing for applications like speech recognition, music understanding, and environmental monitoring.
During the School of Humanities, Arts, and Social Sciences’ 75th Anniversary Symposium, President Sally Kornbluth said “MIT has never needed your particular insight and guidance more than we do now.”
Assistant Professor Benjamin Lindquist studies how engineers deliberately injected randomness into early AI, giving rise to deep-learning models that sometimes hallucinate.
“X-Hinges” helps design and 3D print items like lamps and gloves with an interactive twist: automatically embedded sensors that perceive and adaptively respond to human contact.
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
