Search Results for author:
Found 6 papers, 3 papers with code
Can LLMs Formally Reason as Abstract Interpreters for Program Analysis?
LLMs have demonstrated impressive capabilities in code generation and comprehension, but their potential in being able to perform program analysis in a formal, automatic manner remains under-explored.
VEGA: Learning Interleaved Image-Text Comprehension in Vision-Language Large Models
In support of this task, we further craft a new VEGA dataset, tailored for the IITC task on scientific content, and devised a subtask, Image-Text Association (ITA), to refine image-text correlation skills.
Video-MME: The First-Ever Comprehensive Evaluation Benchmark of Multi-modal LLMs in Video Analysis
With Video-MME, we extensively evaluate various state-of-the-art MLLMs, including GPT-4 series and Gemini 1. 5 Pro, as well as open-source image models like InternVL-Chat-V1. 5 and video models like LLaVA-NeXT-Video.
Neuron-based Multifractal Analysis of Neuron Interaction Dynamics in Large Models
In recent years, there has been increasing attention on the capabilities of large models, particularly in handling complex tasks that small-scale models are unable to perform.
PerfRL: A Small Language Model Framework for Efficient Code Optimization
Code optimization is a challenging task requiring a substantial level of expertise from developers.
On Strengthening and Defending Graph Reconstruction Attack with Markov Chain Approximation
Although powerful graph neural networks (GNNs) have boosted numerous real-world applications, the potential privacy risk is still underexplored.
