Viewing enriched Twitter post
MathDSL is a domain-specific language for math problem solving that lets program synthesis models like DreamCoder outperform RL methods on linear equations. 2024 paper from MIT: @sagnikanupam, @mattlbowers, @konet, and Armando Solar-Lezama https://t.co/D2hgJDB6IQ https://t.co/TjGL5ogMww
{
"media": [
{
"type": "image",
"url": "https://crmoxkoizveukayfjuyo.supabase.co/storage/v1/object/public/media/posts/1915483179458453816/media_0.jpg?",
"filename": "media_0.jpg"
}
],
"nlp": {
"sentiment": "positive",
"topics": [
"math problem solving",
"program synthesis",
"linear equations"
],
"entities": [
"MathDSL",
"DreamCoder",
"MIT",
"sagnikanupam",
"mattlbowers",
"konet",
"Armando Solar-Lezama"
],
"summary": "The tweet highlights the advantages of MathDSL in math problem solving and mentions a 2024 MIT paper with notable contributors.",
"language": "en",
"processed_at": "2025-08-07T12:23:27.735180"
}
}{
"data": {
"threaded_conversation_with_injections_v2": {
"instructions": [
{
"type": "TimelineClearCache"
},
{
"type": "TimelineAddEntries",
"entries": [
{
"entryId": "tweet-1915483179458453816",
"sortIndex": "1953522375974715392",
"content": {
"entryType": "TimelineTimelineItem",
"__typename": "TimelineTimelineItem",
"itemContent": {
"itemType": "TimelineTweet",
"__typename": "TimelineTweet",
"tweet_results": {
"result": {
"__typename": "Tweet",
"rest_id": "1915483179458453816",
"has_birdwatch_notes": false,
"core": {
"user_results": {
"result": {
"__typename": "User",
"id": "VXNlcjoxODQ2NjIxMjc4OTEwMDA5MzQ2",
"rest_id": "1846621278910009346",
"affiliates_highlighted_label": {},
"has_graduated_access": true,
"is_blue_verified": false,
"profile_image_shape": "Square",
"legacy": {
"can_dm": false,
"can_media_tag": true,
"created_at": "Wed Oct 16 18:37:12 +0000 2024",
"default_profile": true,
"default_profile_image": false,
"description": "A new intelligence science lab founded by @fchollet & @mikeknoop.",
"entities": {
"description": {
"urls": []
},
"url": {
"urls": [
{
"display_url": "ndea.com",
"expanded_url": "https://ndea.com",
"url": "https://t.co/jtkV1yBCbk",
"indices": [
0,
23
]
}
]
}
},
"fast_followers_count": 0,
"favourites_count": 171,
"followers_count": 7757,
"friends_count": 78,
"has_custom_timelines": false,
"is_translator": false,
"listed_count": 101,
"location": "",
"media_count": 25,
"name": "Ndea",
"normal_followers_count": 7757,
"pinned_tweet_ids_str": [],
"possibly_sensitive": false,
"profile_banner_url": "https://pbs.twimg.com/profile_banners/1846621278910009346/1736893644",
"profile_image_url_https": "https://pbs.twimg.com/profile_images/1881044222633033728/Gz7yzws9_normal.jpg",
"profile_interstitial_type": "",
"screen_name": "ndea",
"statuses_count": 63,
"translator_type": "none",
"url": "https://t.co/jtkV1yBCbk",
"verified": false,
"verified_type": "Business",
"want_retweets": false,
"withheld_in_countries": []
},
"tipjar_settings": {}
}
}
},
"unmention_data": {},
"edit_control": {
"edit_tweet_ids": [
"1915483179458453816"
],
"editable_until_msecs": "1745525352000",
"is_edit_eligible": false,
"edits_remaining": "5"
},
"is_translatable": false,
"views": {
"count": "17020",
"state": "EnabledWithCount"
},
"source": "<a href=\"https://mobile.twitter.com\" rel=\"nofollow\">Twitter Web App</a>",
"legacy": {
"bookmark_count": 70,
"bookmarked": false,
"created_at": "Thu Apr 24 19:09:12 +0000 2025",
"conversation_id_str": "1915483179458453816",
"display_text_range": [
0,
264
],
"entities": {
"hashtags": [],
"media": [
{
"display_url": "pic.x.com/TjGL5ogMww",
"expanded_url": "https://x.com/ndea/status/1915483179458453816/photo/1",
"id_str": "1915480386827935744",
"indices": [
265,
288
],
"media_key": "3_1915480386827935744",
"media_url_https": "https://pbs.twimg.com/media/GpUnQ18bYAAVWg2.jpg",
"type": "photo",
"url": "https://t.co/TjGL5ogMww",
"ext_media_availability": {
"status": "Available"
},
"features": {
"large": {
"faces": []
},
"medium": {
"faces": []
},
"small": {
"faces": []
},
"orig": {
"faces": []
}
},
"sizes": {
"large": {
"h": 784,
"w": 1067,
"resize": "fit"
},
"medium": {
"h": 784,
"w": 1067,
"resize": "fit"
},
"small": {
"h": 500,
"w": 680,
"resize": "fit"
},
"thumb": {
"h": 150,
"w": 150,
"resize": "crop"
}
},
"original_info": {
"height": 784,
"width": 1067,
"focus_rects": [
{
"x": 0,
"y": 47,
"w": 1067,
"h": 598
},
{
"x": 283,
"y": 0,
"w": 784,
"h": 784
},
{
"x": 379,
"y": 0,
"w": 688,
"h": 784
},
{
"x": 675,
"y": 0,
"w": 392,
"h": 784
},
{
"x": 0,
"y": 0,
"w": 1067,
"h": 784
}
]
},
"allow_download_status": {
"allow_download": true
},
"media_results": {
"result": {
"media_key": "3_1915480386827935744"
}
}
}
],
"symbols": [],
"timestamps": [],
"urls": [
{
"display_url": "arxiv.org/abs/2404.11899",
"expanded_url": "https://arxiv.org/abs/2404.11899",
"url": "https://t.co/D2hgJDB6IQ",
"indices": [
241,
264
]
}
],
"user_mentions": [
{
"id_str": "1858990163835105280",
"name": "Sagnik Anupam",
"screen_name": "sagnikanupam",
"indices": [
179,
192
]
},
{
"id_str": "1159208978095771649",
"name": "Maddy Bowers",
"screen_name": "mattlbowers",
"indices": [
194,
206
]
},
{
"id_str": "15483981",
"name": "Omar Costilla Reyes, PhD",
"screen_name": "konet",
"indices": [
208,
214
]
}
]
},
"extended_entities": {
"media": [
{
"display_url": "pic.x.com/TjGL5ogMww",
"expanded_url": "https://x.com/ndea/status/1915483179458453816/photo/1",
"id_str": "1915480386827935744",
"indices": [
265,
288
],
"media_key": "3_1915480386827935744",
"media_url_https": "https://pbs.twimg.com/media/GpUnQ18bYAAVWg2.jpg",
"type": "photo",
"url": "https://t.co/TjGL5ogMww",
"ext_media_availability": {
"status": "Available"
},
"features": {
"large": {
"faces": []
},
"medium": {
"faces": []
},
"small": {
"faces": []
},
"orig": {
"faces": []
}
},
"sizes": {
"large": {
"h": 784,
"w": 1067,
"resize": "fit"
},
"medium": {
"h": 784,
"w": 1067,
"resize": "fit"
},
"small": {
"h": 500,
"w": 680,
"resize": "fit"
},
"thumb": {
"h": 150,
"w": 150,
"resize": "crop"
}
},
"original_info": {
"height": 784,
"width": 1067,
"focus_rects": [
{
"x": 0,
"y": 47,
"w": 1067,
"h": 598
},
{
"x": 283,
"y": 0,
"w": 784,
"h": 784
},
{
"x": 379,
"y": 0,
"w": 688,
"h": 784
},
{
"x": 675,
"y": 0,
"w": 392,
"h": 784
},
{
"x": 0,
"y": 0,
"w": 1067,
"h": 784
}
]
},
"allow_download_status": {
"allow_download": true
},
"media_results": {
"result": {
"media_key": "3_1915480386827935744"
}
}
}
]
},
"favorite_count": 105,
"favorited": false,
"full_text": "MathDSL is a domain-specific language for math problem solving that lets program synthesis models like DreamCoder outperform RL methods on linear equations.\n\n2024 paper from MIT: @sagnikanupam, @mattlbowers, @konet, and Armando Solar-Lezama https://t.co/D2hgJDB6IQ https://t.co/TjGL5ogMww",
"is_quote_status": false,
"lang": "en",
"possibly_sensitive": false,
"possibly_sensitive_editable": true,
"quote_count": 1,
"reply_count": 5,
"retweet_count": 27,
"retweeted": false,
"user_id_str": "1846621278910009346",
"id_str": "1915483179458453816"
},
"quick_promote_eligibility": {
"eligibility": "IneligibleNotProfessional"
}
}
},
"tweetDisplayType": "SelfThread"
},
"clientEventInfo": {
"component": "tweet",
"element": "tweet"
}
}
},
{
"entryId": "conversationthread-1915521440247668953",
"sortIndex": "1953522375974715382",
"content": {
"entryType": "TimelineTimelineModule",
"__typename": "TimelineTimelineModule",
"items": [
{
"entryId": "conversationthread-1915521440247668953-tweet-1915521440247668953",
"item": {
"itemContent": {
"itemType": "TimelineTweet",
"__typename": "TimelineTweet",
"tweet_results": {
"result": {
"__typename": "Tweet",
"rest_id": "1915521440247668953",
"has_birdwatch_notes": false,
"core": {
"user_results": {
"result": {
"__typename": "User",
"id": "VXNlcjoxODQ2NjIxMjc4OTEwMDA5MzQ2",
"rest_id": "1846621278910009346",
"affiliates_highlighted_label": {},
"has_graduated_access": true,
"is_blue_verified": false,
"profile_image_shape": "Square",
"legacy": {
"can_dm": false,
"can_media_tag": true,
"created_at": "Wed Oct 16 18:37:12 +0000 2024",
"default_profile": true,
"default_profile_image": false,
"description": "A new intelligence science lab founded by @fchollet & @mikeknoop.",
"entities": {
"description": {
"urls": []
},
"url": {
"urls": [
{
"display_url": "ndea.com",
"expanded_url": "https://ndea.com",
"url": "https://t.co/jtkV1yBCbk",
"indices": [
0,
23
]
}
]
}
},
"fast_followers_count": 0,
"favourites_count": 171,
"followers_count": 7757,
"friends_count": 78,
"has_custom_timelines": false,
"is_translator": false,
"listed_count": 101,
"location": "",
"media_count": 25,
"name": "Ndea",
"normal_followers_count": 7757,
"pinned_tweet_ids_str": [],
"possibly_sensitive": false,
"profile_banner_url": "https://pbs.twimg.com/profile_banners/1846621278910009346/1736893644",
"profile_image_url_https": "https://pbs.twimg.com/profile_images/1881044222633033728/Gz7yzws9_normal.jpg",
"profile_interstitial_type": "",
"screen_name": "ndea",
"statuses_count": 63,
"translator_type": "none",
"url": "https://t.co/jtkV1yBCbk",
"verified": false,
"verified_type": "Business",
"want_retweets": false,
"withheld_in_countries": []
},
"tipjar_settings": {}
}
}
},
"card": {
"rest_id": "https://t.co/czrwuwbTHy",
"legacy": {
"binding_values": [
{
"key": "description",
"value": {
"string_value": "We present MathDSL, a Domain-Specific Language (DSL) for mathematical equation solving, which, when deployed in program synthesis models, outperforms state-of-the-art reinforcement-learning-based...",
"type": "STRING"
}
},
{
"key": "domain",
"value": {
"string_value": "arxiv.org",
"type": "STRING"
}
},
{
"key": "site",
"value": {
"scribe_key": "publisher_id",
"type": "USER",
"user_value": {
"id_str": "808633423300624384",
"path": []
}
}
},
{
"key": "thumbnail_image_alt_text",
"value": {
"string_value": "arXiv logo",
"type": "STRING"
}
},
{
"key": "vanity_url",
"value": {
"scribe_key": "vanity_url",
"string_value": "arxiv.org",
"type": "STRING"
}
},
{
"key": "title",
"value": {
"string_value": "MathDSL: A Domain-Specific Language for Concise Mathematical...",
"type": "STRING"
}
},
{
"key": "card_url",
"value": {
"scribe_key": "card_url",
"string_value": "https://t.co/czrwuwbTHy",
"type": "STRING"
}
}
],
"card_platform": {
"platform": {
"audience": {
"name": "production"
},
"device": {
"name": "Android",
"version": "12"
}
}
},
"name": "summary",
"url": "https://t.co/czrwuwbTHy",
"user_refs_results": [
{
"result": {
"__typename": "User",
"id": "VXNlcjo4MDg2MzM0MjMzMDA2MjQzODQ=",
"rest_id": "808633423300624384",
"affiliates_highlighted_label": {},
"has_graduated_access": true,
"is_blue_verified": false,
"profile_image_shape": "Circle",
"legacy": {
"can_dm": true,
"can_media_tag": true,
"created_at": "Tue Dec 13 11:23:26 +0000 2016",
"default_profile": false,
"default_profile_image": false,
"description": "News from https://t.co/enurGFxpcS, a free distribution service and an open archive for scholarly articles.\n\nFor help with arXiv, see https://t.co/LcWuhM0BOl",
"entities": {
"description": {
"urls": [
{
"display_url": "arXiv.org",
"expanded_url": "http://arXiv.org",
"url": "https://t.co/enurGFxpcS",
"indices": [
10,
33
]
},
{
"display_url": "arxiv.org/help",
"expanded_url": "https://arxiv.org/help",
"url": "https://t.co/LcWuhM0BOl",
"indices": [
133,
156
]
}
]
},
"url": {
"urls": [
{
"display_url": "arxiv.org",
"expanded_url": "https://arxiv.org/",
"url": "https://t.co/DHMkdi4lF9",
"indices": [
0,
23
]
}
]
}
},
"fast_followers_count": 0,
"favourites_count": 948,
"followers_count": 41367,
"friends_count": 187,
"has_custom_timelines": false,
"is_translator": false,
"listed_count": 487,
"location": "Ithaca, NY",
"media_count": 109,
"name": "arXiv.org",
"normal_followers_count": 41367,
"pinned_tweet_ids_str": [],
"possibly_sensitive": false,
"profile_banner_url": "https://pbs.twimg.com/profile_banners/808633423300624384/1481635469",
"profile_image_url_https": "https://pbs.twimg.com/profile_images/1365352170267299840/IzvjKckL_normal.jpg",
"profile_interstitial_type": "",
"screen_name": "arxiv",
"statuses_count": 1106,
"translator_type": "none",
"url": "https://t.co/DHMkdi4lF9",
"verified": false,
"want_retweets": false,
"withheld_in_countries": []
},
"tipjar_settings": {}
}
}
]
}
},
"unmention_data": {},
"edit_control": {
"edit_tweet_ids": [
"1915521440247668953"
],
"editable_until_msecs": "1745534474000",
"is_edit_eligible": false,
"edits_remaining": "5"
},
"is_translatable": false,
"views": {
"count": "1350",
"state": "EnabledWithCount"
},
"source": "<a href=\"https://mobile.twitter.com\" rel=\"nofollow\">Twitter Web App</a>",
"legacy": {
"bookmark_count": 6,
"bookmarked": false,
"created_at": "Thu Apr 24 21:41:14 +0000 2025",
"conversation_id_str": "1915483179458453816",
"display_text_range": [
0,
45
],
"entities": {
"hashtags": [],
"symbols": [],
"timestamps": [],
"urls": [
{
"display_url": "arxiv.org/abs/2409.17490",
"expanded_url": "https://arxiv.org/abs/2409.17490",
"url": "https://t.co/czrwuwbTHy",
"indices": [
22,
45
]
}
],
"user_mentions": []
},
"favorite_count": 15,
"favorited": false,
"full_text": "Corrected paper link!\nhttps://t.co/czrwuwbTHy",
"in_reply_to_screen_name": "ndea",
"in_reply_to_status_id_str": "1915483179458453816",
"in_reply_to_user_id_str": "1846621278910009346",
"is_quote_status": false,
"lang": "en",
"possibly_sensitive": false,
"possibly_sensitive_editable": true,
"quote_count": 0,
"reply_count": 1,
"retweet_count": 1,
"retweeted": false,
"user_id_str": "1846621278910009346",
"id_str": "1915521440247668953"
},
"quick_promote_eligibility": {
"eligibility": "IneligibleNotProfessional"
}
}
},
"tweetDisplayType": "SelfThread"
},
"clientEventInfo": {
"component": "tweet",
"element": "tweet",
"details": {
"conversationDetails": {
"conversationSection": "HighQuality"
},
"timelinesDetails": {
"controllerData": "DAACDAAEDAABCgABAAAAAAAAAAEKAAIAAAAAAAAAAAAAAAA="
}
}
}
}
}
],
"metadata": {
"conversationMetadata": {
"allTweetIds": [
"1915521440247668953"
],
"enableDeduplication": true
}
},
"displayType": "VerticalConversation",
"clientEventInfo": {
"component": "tweet",
"details": {
"conversationDetails": {
"conversationSection": "HighQuality"
},
"timelinesDetails": {
"controllerData": "DAACDAAEDAABCgABAAAAAAAAAAEKAAIAAAAAAAAAAAAAAAA="
}
}
}
}
},
{
"entryId": "conversationthread-1915523422735487376",
"sortIndex": "1953522375974715372",
"content": {
"entryType": "TimelineTimelineModule",
"__typename": "TimelineTimelineModule",
"items": [
{
"entryId": "conversationthread-1915523422735487376-tweet-1915523422735487376",
"item": {
"itemContent": {
"itemType": "TimelineTweet",
"__typename": "TimelineTweet",
"tweet_results": {
"result": {
"__typename": "Tweet",
"rest_id": "1915523422735487376",
"has_birdwatch_notes": false,
"core": {
"user_results": {
"result": {
"__typename": "User",
"id": "VXNlcjoxNjMyNzMxMjYyMzEyOTMxMzI5",
"rest_id": "1632731262312931329",
"affiliates_highlighted_label": {},
"has_graduated_access": true,
"is_blue_verified": true,
"profile_image_shape": "Circle",
"legacy": {
"can_dm": false,
"can_media_tag": true,
"created_at": "Mon Mar 06 13:14:11 +0000 2023",
"default_profile": true,
"default_profile_image": false,
"description": "App to supercharge your research",
"entities": {
"description": {
"urls": []
},
"url": {
"urls": [
{
"display_url": "synthical.com",
"expanded_url": "https://synthical.com",
"url": "https://t.co/ejn0MBwlau",
"indices": [
0,
23
]
}
]
}
},
"fast_followers_count": 0,
"favourites_count": 200,
"followers_count": 513,
"friends_count": 2,
"has_custom_timelines": false,
"is_translator": false,
"listed_count": 9,
"location": "Paris, France",
"media_count": 2,
"name": "Synthical",
"normal_followers_count": 513,
"pinned_tweet_ids_str": [
"1845085484449505511"
],
"possibly_sensitive": false,
"profile_image_url_https": "https://pbs.twimg.com/profile_images/1669378971211907073/OOnOchbn_normal.jpg",
"profile_interstitial_type": "",
"screen_name": "synthical_ai",
"statuses_count": 10208,
"translator_type": "none",
"url": "https://t.co/ejn0MBwlau",
"verified": false,
"want_retweets": false,
"withheld_in_countries": []
},
"tipjar_settings": {}
}
}
},
"card": {
"rest_id": "https://t.co/wbz8oAZWrX",
"legacy": {
"binding_values": [
{
"key": "description",
"value": {
"string_value": "Wettability is a fundamental physicochemical property of solid surfaces, with unique wettability patterns playing pivotal roles across diverse domains. Inspired by nature's ingenious designs,...",
"type": "STRING"
}
},
{
"key": "domain",
"value": {
"string_value": "synthical.com",
"type": "STRING"
}
},
{
"key": "photo_image_full_size_alt_text",
"value": {
"string_value": "Investigating the Molecular Design Mechanism Behind the Hydrophobicity of Biological Surface Nanostructures: Insights from Butterfly and Mosquito Systems",
"type": "STRING"
}
},
{
"key": "vanity_url",
"value": {
"scribe_key": "vanity_url",
"string_value": "synthical.com",
"type": "STRING"
}
},
{
"key": "summary_photo_image_alt_text",
"value": {
"string_value": "Investigating the Molecular Design Mechanism Behind the Hydrophobicity of Biological Surface Nanostructures: Insights from Butterfly and Mosquito Systems",
"type": "STRING"
}
},
{
"key": "title",
"value": {
"string_value": "Investigating the Molecular Design Mechanism Behind the Hydrophobicity of Biological Surface...",
"type": "STRING"
}
},
{
"key": "card_url",
"value": {
"scribe_key": "card_url",
"string_value": "https://t.co/wbz8oAZWrX",
"type": "STRING"
}
}
],
"card_platform": {
"platform": {
"audience": {
"name": "production"
},
"device": {
"name": "Android",
"version": "12"
}
}
},
"name": "summary_large_image",
"url": "https://t.co/wbz8oAZWrX",
"user_refs_results": []
}
},
"unmention_data": {},
"edit_control": {
"edit_tweet_ids": [
"1915523422735487376"
],
"editable_until_msecs": "1745534947000",
"is_edit_eligible": false,
"edits_remaining": "5"
},
"is_translatable": false,
"views": {
"count": "154",
"state": "EnabledWithCount"
},
"source": "<a href=\"https://example.com\" rel=\"nofollow\">1765873003710013440EI450487068</a>",
"legacy": {
"bookmark_count": 0,
"bookmarked": false,
"created_at": "Thu Apr 24 21:49:07 +0000 2025",
"conversation_id_str": "1915483179458453816",
"display_text_range": [
40,
108
],
"entities": {
"hashtags": [],
"symbols": [],
"timestamps": [],
"urls": [
{
"display_url": "synthical.com/abs/2404.11899…",
"expanded_url": "https://synthical.com/abs/2404.11899?is_dark=true&utm_source=dark_medium_face",
"url": "https://t.co/wbz8oAZWrX",
"indices": [
85,
108
]
}
],
"user_mentions": [
{
"id_str": "1846621278910009346",
"name": "Ndea",
"screen_name": "ndea",
"indices": [
0,
5
]
},
{
"id_str": "1858990163835105280",
"name": "Sagnik Anupam",
"screen_name": "sagnikanupam",
"indices": [
6,
19
]
},
{
"id_str": "1159208978095771649",
"name": "Maddy Bowers",
"screen_name": "mattlbowers",
"indices": [
20,
32
]
},
{
"id_str": "15483981",
"name": "Omar Costilla Reyes, PhD",
"screen_name": "konet",
"indices": [
33,
39
]
}
]
},
"favorite_count": 0,
"favorited": false,
"full_text": "@ndea @sagnikanupam @mattlbowers @konet Dark mode for this paper for night readers 🌚 https://t.co/wbz8oAZWrX",
"in_reply_to_screen_name": "ndea",
"in_reply_to_status_id_str": "1915483179458453816",
"in_reply_to_user_id_str": "1846621278910009346",
"is_quote_status": false,
"lang": "en",
"possibly_sensitive": false,
"possibly_sensitive_editable": true,
"quote_count": 0,
"reply_count": 0,
"retweet_count": 0,
"retweeted": false,
"user_id_str": "1632731262312931329",
"id_str": "1915523422735487376"
},
"quick_promote_eligibility": {
"eligibility": "IneligibleNotProfessional"
}
}
},
"tweetDisplayType": "Tweet"
},
"clientEventInfo": {
"component": "tweet",
"element": "tweet",
"details": {
"conversationDetails": {
"conversationSection": "HighQuality"
},
"timelinesDetails": {
"controllerData": "DAACDAAEDAABCgABAAAAAAAAAAEKAAIAAAAAAAAAAAAAAAA="
}
}
}
}
}
],
"metadata": {
"conversationMetadata": {
"allTweetIds": [
"1915523422735487376"
],
"enableDeduplication": true
}
},
"displayType": "VerticalConversation",
"clientEventInfo": {
"component": "tweet",
"details": {
"conversationDetails": {
"conversationSection": "HighQuality"
},
"timelinesDetails": {
"controllerData": "DAACDAAEDAABCgABAAAAAAAAAAEKAAIAAAAAAAAAAAAAAAA="
}
}
}
}
},
{
"entryId": "conversationthread-1915504029641384050",
"sortIndex": "1953522375974715362",
"content": {
"entryType": "TimelineTimelineModule",
"__typename": "TimelineTimelineModule",
"items": [
{
"entryId": "conversationthread-1915504029641384050-tweet-1915504029641384050",
"item": {
"itemContent": {
"itemType": "TimelineTweet",
"__typename": "TimelineTweet",
"tweet_results": {
"result": {
"__typename": "Tweet",
"rest_id": "1915504029641384050",
"has_birdwatch_notes": false,
"core": {
"user_results": {
"result": {
"__typename": "User",
"id": "VXNlcjoxNTUxOTQyNTI2NjYzMjg2Nzg3",
"rest_id": "1551942526663286787",
"affiliates_highlighted_label": {},
"has_graduated_access": true,
"is_blue_verified": false,
"profile_image_shape": "Circle",
"legacy": {
"can_dm": false,
"can_media_tag": true,
"created_at": "Tue Jul 26 14:48:55 +0000 2022",
"default_profile": true,
"default_profile_image": false,
"description": "",
"entities": {
"description": {
"urls": []
}
},
"fast_followers_count": 0,
"favourites_count": 1995,
"followers_count": 0,
"friends_count": 52,
"has_custom_timelines": false,
"is_translator": false,
"listed_count": 0,
"location": "",
"media_count": 0,
"name": "Giuseppe Frigeni",
"normal_followers_count": 0,
"pinned_tweet_ids_str": [],
"possibly_sensitive": false,
"profile_image_url_https": "https://pbs.twimg.com/profile_images/1551942648277176322/PE_VTkST_normal.png",
"profile_interstitial_type": "",
"screen_name": "FrigeniGiuseppe",
"statuses_count": 2,
"translator_type": "none",
"verified": false,
"want_retweets": false,
"withheld_in_countries": []
},
"tipjar_settings": {}
}
}
},
"card": {
"rest_id": "https://t.co/AFuoUCji0p",
"legacy": {
"binding_values": [
{
"key": "description",
"value": {
"string_value": "We present MathDSL, a Domain-Specific Language (DSL) for mathematical equation solving, which, when deployed in program synthesis models, outperforms state-of-the-art reinforcement-learning-based...",
"type": "STRING"
}
},
{
"key": "domain",
"value": {
"string_value": "arxiv.org",
"type": "STRING"
}
},
{
"key": "site",
"value": {
"scribe_key": "publisher_id",
"type": "USER",
"user_value": {
"id_str": "808633423300624384",
"path": []
}
}
},
{
"key": "thumbnail_image_alt_text",
"value": {
"string_value": "arXiv logo",
"type": "STRING"
}
},
{
"key": "vanity_url",
"value": {
"scribe_key": "vanity_url",
"string_value": "arxiv.org",
"type": "STRING"
}
},
{
"key": "title",
"value": {
"string_value": "MathDSL: A Domain-Specific Language for Concise Mathematical...",
"type": "STRING"
}
},
{
"key": "card_url",
"value": {
"scribe_key": "card_url",
"string_value": "https://t.co/AFuoUCji0p",
"type": "STRING"
}
}
],
"card_platform": {
"platform": {
"audience": {
"name": "production"
},
"device": {
"name": "Android",
"version": "12"
}
}
},
"name": "summary",
"url": "https://t.co/AFuoUCji0p",
"user_refs_results": [
{
"result": {
"__typename": "User",
"id": "VXNlcjo4MDg2MzM0MjMzMDA2MjQzODQ=",
"rest_id": "808633423300624384",
"affiliates_highlighted_label": {},
"has_graduated_access": true,
"is_blue_verified": false,
"profile_image_shape": "Circle",
"legacy": {
"can_dm": true,
"can_media_tag": true,
"created_at": "Tue Dec 13 11:23:26 +0000 2016",
"default_profile": false,
"default_profile_image": false,
"description": "News from https://t.co/enurGFxpcS, a free distribution service and an open archive for scholarly articles.\n\nFor help with arXiv, see https://t.co/LcWuhM0BOl",
"entities": {
"description": {
"urls": [
{
"display_url": "arXiv.org",
"expanded_url": "http://arXiv.org",
"url": "https://t.co/enurGFxpcS",
"indices": [
10,
33
]
},
{
"display_url": "arxiv.org/help",
"expanded_url": "https://arxiv.org/help",
"url": "https://t.co/LcWuhM0BOl",
"indices": [
133,
156
]
}
]
},
"url": {
"urls": [
{
"display_url": "arxiv.org",
"expanded_url": "https://arxiv.org/",
"url": "https://t.co/DHMkdi4lF9",
"indices": [
0,
23
]
}
]
}
},
"fast_followers_count": 0,
"favourites_count": 948,
"followers_count": 41367,
"friends_count": 187,
"has_custom_timelines": false,
"is_translator": false,
"listed_count": 487,
"location": "Ithaca, NY",
"media_count": 109,
"name": "arXiv.org",
"normal_followers_count": 41367,
"pinned_tweet_ids_str": [],
"possibly_sensitive": false,
"profile_banner_url": "https://pbs.twimg.com/profile_banners/808633423300624384/1481635469",
"profile_image_url_https": "https://pbs.twimg.com/profile_images/1365352170267299840/IzvjKckL_normal.jpg",
"profile_interstitial_type": "",
"screen_name": "arxiv",
"statuses_count": 1106,
"translator_type": "none",
"url": "https://t.co/DHMkdi4lF9",
"verified": false,
"want_retweets": false,
"withheld_in_countries": []
},
"tipjar_settings": {}
}
}
]
}
},
"unmention_data": {},
"edit_control": {
"edit_tweet_ids": [
"1915504029641384050"
],
"editable_until_msecs": "1745530323000",
"is_edit_eligible": false,
"edits_remaining": "5"
},
"is_translatable": false,
"views": {
"count": "172",
"state": "EnabledWithCount"
},
"source": "<a href=\"http://twitter.com/download/android\" rel=\"nofollow\">Twitter for Android</a>",
"legacy": {
"bookmark_count": 0,
"bookmarked": false,
"created_at": "Thu Apr 24 20:32:03 +0000 2025",
"conversation_id_str": "1915483179458453816",
"display_text_range": [
40,
94
],
"entities": {
"hashtags": [],
"symbols": [],
"timestamps": [],
"urls": [
{
"display_url": "arxiv.org/abs/2409.17490",
"expanded_url": "https://arxiv.org/abs/2409.17490",
"url": "https://t.co/AFuoUCji0p",
"indices": [
71,
94
]
}
],
"user_mentions": [
{
"id_str": "1846621278910009346",
"name": "Ndea",
"screen_name": "ndea",
"indices": [
0,
5
]
},
{
"id_str": "1858990163835105280",
"name": "Sagnik Anupam",
"screen_name": "sagnikanupam",
"indices": [
6,
19
]
},
{
"id_str": "1159208978095771649",
"name": "Maddy Bowers",
"screen_name": "mattlbowers",
"indices": [
20,
32
]
},
{
"id_str": "15483981",
"name": "Omar Costilla Reyes, PhD",
"screen_name": "konet",
"indices": [
33,
39
]
}
]
},
"favorite_count": 1,
"favorited": false,
"full_text": "@ndea @sagnikanupam @mattlbowers @konet This Is the link to the paper: https://t.co/AFuoUCji0p",
"in_reply_to_screen_name": "ndea",
"in_reply_to_status_id_str": "1915483179458453816",
"in_reply_to_user_id_str": "1846621278910009346",
"is_quote_status": false,
"lang": "en",
"possibly_sensitive": false,
"possibly_sensitive_editable": true,
"quote_count": 0,
"reply_count": 0,
"retweet_count": 0,
"retweeted": false,
"user_id_str": "1551942526663286787",
"id_str": "1915504029641384050"
},
"quick_promote_eligibility": {
"eligibility": "IneligibleNotProfessional"
}
}
},
"tweetDisplayType": "Tweet"
},
"clientEventInfo": {
"component": "tweet",
"element": "tweet",
"details": {
"conversationDetails": {
"conversationSection": "HighQuality"
},
"timelinesDetails": {
"controllerData": "DAACDAAEDAABCgABAAAAAAAAAAEKAAIAAAAAAAAAAAAAAAA="
}
}
}
}
}
],
"metadata": {
"conversationMetadata": {
"allTweetIds": [
"1915504029641384050"
],
"enableDeduplication": true
}
},
"displayType": "VerticalConversation",
"clientEventInfo": {
"component": "tweet",
"details": {
"conversationDetails": {
"conversationSection": "HighQuality"
},
"timelinesDetails": {
"controllerData": "DAACDAAEDAABCgABAAAAAAAAAAEKAAIAAAAAAAAAAAAAAAA="
}
}
}
}
},
{
"entryId": "conversationthread-1915499050188902667",
"sortIndex": "1953522375974715352",
"content": {
"entryType": "TimelineTimelineModule",
"__typename": "TimelineTimelineModule",
"items": [
{
"entryId": "conversationthread-1915499050188902667-tweet-1915499050188902667",
"item": {
"itemContent": {
"itemType": "TimelineTweet",
"__typename": "TimelineTweet",
"tweet_results": {
"result": {
"__typename": "Tweet",
"rest_id": "1915499050188902667",
"has_birdwatch_notes": false,
"core": {
"user_results": {
"result": {
"__typename": "User",
"id": "VXNlcjoxMTQ5ODM1Nzg4",
"rest_id": "1149835788",
"affiliates_highlighted_label": {},
"has_graduated_access": true,
"is_blue_verified": false,
"profile_image_shape": "Circle",
"legacy": {
"can_dm": true,
"can_media_tag": true,
"created_at": "Tue Feb 05 03:44:26 +0000 2013",
"default_profile": true,
"default_profile_image": false,
"description": "Counterfactual troll. Demanding social service efficacy. A socialist against #fauxshalism",
"entities": {
"description": {
"urls": []
}
},
"fast_followers_count": 0,
"favourites_count": 25773,
"followers_count": 834,
"friends_count": 838,
"has_custom_timelines": true,
"is_translator": false,
"listed_count": 15,
"location": "Best Coast?",
"media_count": 2114,
"name": "SF Footgun Shotspotter. Pew pew.",
"normal_followers_count": 834,
"pinned_tweet_ids_str": [
"1453750658813751310"
],
"possibly_sensitive": false,
"profile_image_url_https": "https://pbs.twimg.com/profile_images/3317567869/66b653df4637e956e42f8cc78a167f93_normal.jpeg",
"profile_interstitial_type": "",
"screen_name": "stuz5000",
"statuses_count": 22158,
"translator_type": "none",
"verified": false,
"want_retweets": false,
"withheld_in_countries": []
},
"tipjar_settings": {}
}
}
},
"unmention_data": {},
"edit_control": {
"edit_tweet_ids": [
"1915499050188902667"
],
"editable_until_msecs": "1745529136000",
"is_edit_eligible": false,
"edits_remaining": "5"
},
"is_translatable": false,
"views": {
"count": "169",
"state": "EnabledWithCount"
},
"source": "<a href=\"https://mobile.twitter.com\" rel=\"nofollow\">Twitter Web App</a>",
"legacy": {
"bookmark_count": 0,
"bookmarked": false,
"created_at": "Thu Apr 24 20:12:16 +0000 2025",
"conversation_id_str": "1915483179458453816",
"display_text_range": [
40,
89
],
"entities": {
"hashtags": [],
"media": [
{
"display_url": "pic.x.com/UlvozUtSP6",
"expanded_url": "https://x.com/stuz5000/status/1915499050188902667/photo/1",
"id_str": "1915498988331294721",
"indices": [
90,
113
],
"media_key": "3_1915498988331294721",
"media_url_https": "https://pbs.twimg.com/media/GpU4Ll8bYAED3IV.jpg",
"type": "photo",
"url": "https://t.co/UlvozUtSP6",
"ext_media_availability": {
"status": "Available"
},
"features": {
"large": {
"faces": []
},
"medium": {
"faces": []
},
"small": {
"faces": []
},
"orig": {
"faces": []
}
},
"sizes": {
"large": {
"h": 952,
"w": 2048,
"resize": "fit"
},
"medium": {
"h": 558,
"w": 1200,
"resize": "fit"
},
"small": {
"h": 316,
"w": 680,
"resize": "fit"
},
"thumb": {
"h": 150,
"w": 150,
"resize": "crop"
}
},
"original_info": {
"height": 1366,
"width": 2940,
"focus_rects": [
{
"x": 251,
"y": 0,
"w": 2439,
"h": 1366
},
{
"x": 787,
"y": 0,
"w": 1366,
"h": 1366
},
{
"x": 871,
"y": 0,
"w": 1198,
"h": 1366
},
{
"x": 1129,
"y": 0,
"w": 683,
"h": 1366
},
{
"x": 0,
"y": 0,
"w": 2940,
"h": 1366
}
]
},
"media_results": {
"result": {
"media_key": "3_1915498988331294721"
}
}
}
],
"symbols": [],
"timestamps": [],
"urls": [],
"user_mentions": [
{
"id_str": "1846621278910009346",
"name": "Ndea",
"screen_name": "ndea",
"indices": [
0,
5
]
},
{
"id_str": "1858990163835105280",
"name": "Sagnik Anupam",
"screen_name": "sagnikanupam",
"indices": [
6,
19
]
},
{
"id_str": "1159208978095771649",
"name": "Maddy Bowers",
"screen_name": "mattlbowers",
"indices": [
20,
32
]
},
{
"id_str": "15483981",
"name": "Omar Costilla Reyes, PhD",
"screen_name": "konet",
"indices": [
33,
39
]
}
]
},
"extended_entities": {
"media": [
{
"display_url": "pic.x.com/UlvozUtSP6",
"expanded_url": "https://x.com/stuz5000/status/1915499050188902667/photo/1",
"id_str": "1915498988331294721",
"indices": [
90,
113
],
"media_key": "3_1915498988331294721",
"media_url_https": "https://pbs.twimg.com/media/GpU4Ll8bYAED3IV.jpg",
"type": "photo",
"url": "https://t.co/UlvozUtSP6",
"ext_media_availability": {
"status": "Available"
},
"features": {
"large": {
"faces": []
},
"medium": {
"faces": []
},
"small": {
"faces": []
},
"orig": {
"faces": []
}
},
"sizes": {
"large": {
"h": 952,
"w": 2048,
"resize": "fit"
},
"medium": {
"h": 558,
"w": 1200,
"resize": "fit"
},
"small": {
"h": 316,
"w": 680,
"resize": "fit"
},
"thumb": {
"h": 150,
"w": 150,
"resize": "crop"
}
},
"original_info": {
"height": 1366,
"width": 2940,
"focus_rects": [
{
"x": 251,
"y": 0,
"w": 2439,
"h": 1366
},
{
"x": 787,
"y": 0,
"w": 1366,
"h": 1366
},
{
"x": 871,
"y": 0,
"w": 1198,
"h": 1366
},
{
"x": 1129,
"y": 0,
"w": 683,
"h": 1366
},
{
"x": 0,
"y": 0,
"w": 2940,
"h": 1366
}
]
},
"media_results": {
"result": {
"media_key": "3_1915498988331294721"
}
}
}
]
},
"favorite_count": 1,
"favorited": false,
"full_text": "@ndea @sagnikanupam @mattlbowers @konet 1) Is this new?\n2) Where that link actually goes: https://t.co/UlvozUtSP6",
"in_reply_to_screen_name": "ndea",
"in_reply_to_status_id_str": "1915483179458453816",
"in_reply_to_user_id_str": "1846621278910009346",
"is_quote_status": false,
"lang": "en",
"possibly_sensitive": false,
"possibly_sensitive_editable": true,
"quote_count": 0,
"reply_count": 0,
"retweet_count": 0,
"retweeted": false,
"user_id_str": "1149835788",
"id_str": "1915499050188902667"
},
"quick_promote_eligibility": {
"eligibility": "IneligibleNotProfessional"
}
}
},
"tweetDisplayType": "Tweet"
},
"clientEventInfo": {
"component": "tweet",
"element": "tweet",
"details": {
"conversationDetails": {
"conversationSection": "HighQuality"
},
"timelinesDetails": {
"controllerData": "DAACDAAEDAABCgABAAAAAAAAAAEKAAIAAAAAAAAAAAAAAAA="
}
}
}
}
}
],
"metadata": {
"conversationMetadata": {
"allTweetIds": [
"1915499050188902667"
],
"enableDeduplication": true
}
},
"displayType": "VerticalConversation",
"clientEventInfo": {
"component": "tweet",
"details": {
"conversationDetails": {
"conversationSection": "HighQuality"
},
"timelinesDetails": {
"controllerData": "DAACDAAEDAABCgABAAAAAAAAAAEKAAIAAAAAAAAAAAAAAAA="
}
}
}
}
},
{
"entryId": "cursor-bottom-1953522375974715351",
"sortIndex": "1953522375974715351",
"content": {
"entryType": "TimelineTimelineCursor",
"__typename": "TimelineTimelineCursor",
"value": "DAAFCgABGxxOQDC__9ULAAIAAABQRW1QQzZ3QUFBZlEvZ0dKTjB2R3AvQUFBQUFVYWxVNW5jeGJSa0JxVk9EekdHNUVMR3BVcHpaVGJZVGdhbFR6RUpKcWdjaHFWVEpuZG0yRFoIAAMAAAACAAA",
"cursorType": "Bottom"
}
}
]
},
{
"type": "TimelineTerminateTimeline",
"direction": "Top"
},
{
"type": "TimelineTerminateTimeline",
"direction": "Bottom"
}
],
"metadata": {
"reader_mode_config": {
"is_reader_mode_available": true
},
"scribeConfig": {
"page": "ranked_replies"
}
}
}
}
}