5762 results found
This work introduces Castle, the first framework for schema-only cascade update generation using large language models (LLMs). Despite recent advances in LLMs for Text2SQL code generation, existing approaches focus primarily on SELECT queries, neglec...
Hey All, I'm attempting to reproduce Phi-1 using only open-source data. This is a crucial task for the open source community since the dataset generation is the likely the most important part of this...
This paper develops an agentic framework that employs large language models (LLMs) for grounded persuasive language generation in automated copywriting, with real estate marketing as a focal application. Our method is designed to align the generated...
The generalized Kelvin-Helmholtz (KH) and Miles mechanisms of the water wave generation by wind are investigated for two-layer piece-wise linear model of the wind profile. It is shown by asymptotic expansions in small air-to-water density ratio tha...
Google is unleashing Geminiâs next generation of artificial intelligence in its dominant search engine and other popular online services in the high-stakes battle to create technology that people can trust to â¦
Tags: procedural-music | Score: 89
Tags: javascript, angular, typescript, ionic-framework | Score: 1
Tags: minecraft, minecraft-forge | Score: 0
Tags: java, minecraft, minecraft-forge | Score: 0
Artistic text generation aims to amplify the aesthetic qualities of text while maintaining readability. It can make the text more attractive and better convey its expression, thus enjoying a wide range of application scenarios such as social media di...
Jul 8, 2025 · TL;DR: We introduce CLEVER, a hand-curated benchmark for verified code generation in Lean. It requires full formal specs and proofs. No few-shot method solves all stages, making it a …
We introduce CLEVER, the first curated benchmark for evaluating the generation of specifications and formally verified code in Lean. The benchmark comprises of 161 programming problems; it evaluates …
Tags: java, android, security, rsa, bouncycastle | Score: 35
Tags: game-engine, game-maker | Score: 0
Tags: c++, 3d, computational-geometry, cad | Score: 1
This paper introduces Track Mix, a personalized playlist generation system released in 2022 on the music streaming service Deezer. Track Mix automatically generates "mix" playlists inspired by initial music tracks, allowing users to discover music si...
We propose a diffusion-based approach for Text-to-Image (T2I) generation with interactive 3D layout control. Layout control has been widely studied to alleviate the shortcomings of T2I diffusion models in understanding objects' placement and relation...
Interactive programming with interleaved code snippet cells and natural language markdown is recently gaining popularity in the form of Jupyter notebooks, which accelerate prototyping and collaboration. To study code generation conditioned on a long...
Unlimited-length talking video generation that supports image-to-video and video-to-video generation (⭐ 4952)
Translating Next-Generation Science Into Transformative Gene Therapies Learn About Our Programs
