19 citations · 71 across the 35 of their papers we have counts for
5 papers · 1 filter
Finding your MUSE: Mining Unexpected Solutions Engine
Nir Sweed, Hanit Hakim, Ben Wolfson +2
Innovators often exhibit cognitive fixation on existing solutions or nascent ideas, hindering the exploration of novel alternatives. This paper introduces a methodology for constru…
One Joke to Rule them All? On the (Im)possibility of Generalizing Humor
Mor Turgeman, Chen Shani, Dafna Shahaf
Humor is a broad and complex form of communication that remains challenging for machines. Despite its broadness, most existing research on computational humor traditionally focused…
Reliable Proof Generation with LLMs via Analogical Retrieval and Symbolic Verification: A Case Study in Euclidean Geometry
Oren Sultan, Eitan Stern, Dafna Shahaf
Large language models (LLMs) struggle with formal domains that require rigorous logical deduction and symbolic reasoning, such as mathematical proof generation. We propose a neuro-…
InterFeat: A Pipeline for Finding Interesting Scientific Features
Dan Ofer, Michal Linial, Dafna Shahaf
Finding interesting phenomena is the core of scientific discovery, but it is a manual, ill-defined concept. We present an integrative pipeline for automating the discovery of inter…
Cooking Up Creativity: Enhancing LLM Creativity through Structured Recombination
Moran Mizrahi, Chen Shani, Gabriel Stanovsky +2
Large Language Models (LLMs) excel at many tasks, yet they struggle to produce truly creative, diverse ideas. In this paper, we introduce a novel approach that enhances LLM creativ…