DiffLean/Formal-Proof-Verified
Updated
• 5
SPA
university
AI & ML interests
None defined yet.
Recent Activity
View all activity
Jforeverss
updated a dataset about 5 hours ago
Jforeverss
updated a dataset about 12 hours ago
Jforeverss
published a dataset 5 days ago
Jforeverss
published a dataset 8 days ago
Jforeverss
submitted a paper to Daily Papers 24 days ago
zsquaredz
authored 2 papers about 1 month ago
zsquaredz
authored 6 papers 6 months ago
To Adapt or to Fine-tune: A Case Study on Abstractive Summarization
Paper
• 2208.14559 • Published
A Unified Model for Reverse Dictionary and Definition Modelling
Paper
• 2205.04602 • Published
What Is That Talk About? A Video-to-Text Summarization Dataset for Scientific Presentations
Paper
• 2502.08279 • Published
• 1
PersonaLens: A Benchmark for Personalization Evaluation in Conversational AI Assistants
Paper
• 2506.09902 • Published
• 2
Are Large Language Models Temporally Grounded?
Paper
• 2311.08398 • Published
• 1
PMIndiaSum: Multilingual and Cross-lingual Headline Summarization for Languages in India
Paper
• 2305.08828 • Published
Jforeverss
authored 2 papers 6 months ago
zsquaredz
authored a paper 6 months ago
Jforeverss
authored a paper over 1 year ago
Jforeverss
authored a paper almost 2 years ago