Symbolic Computation Papers @SymbolicComp
Symbolic and algebraic manipulation, algorithms, languages and systems, applications - (new submissions to https://t.co/VHZH4KKI8H, not affiliated with arXiv) arxiv.org/list/cs.SC/new Joined November 2009-
Tweets9K
-
Followers185
-
Following93
-
Likes1
Oyster-I: Beyond Refusal -- Constructive Safety Alignment for Responsible Language Models. arxiv.org/abs/2509.01909
0
0
0
12
0
Software Portability for Computer Algebra. arxiv.org/abs/2506.01864
Handling Infinite Domain Parameters in Planning Through Best-First Search with Delayed Partial Expansions. arxiv.org/abs/2509.03953
Semi-Centennial REDUCE. arxiv.org/abs/2505.01103
Knowledge Integration for Physics-informed Symbolic Regression Using Pre-trained Large Language Models. arxiv.org/abs/2509.03036
Solving Polynomial Systems with Gr\"obner Bases: An Introduction to F4 and FGLM. arxiv.org/abs/2509.03346
Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures. arxiv.org/abs/2508.00749
APEX$^2$: Adaptive and Extreme Summarization for Personalized Knowledge Graphs. arxiv.org/abs/2412.17336
ViSymRe: Vision-guided Multimodal Symbolic Regression. arxiv.org/abs/2412.11139
Oyster-I: Beyond Refusal -- Constructive Safety Alignment for Responsible Language Models. arxiv.org/abs/2509.01909
An Effective Trajectory Planning and an Optimized Path Planning for a 6-Degree-of-Freedom Robot Manipulator. arxiv.org/abs/2509.00828
Inverse Kinematics for a 6-Degree-of-Freedom Robot Manipulator Using Comprehensive Gr\"obner Systems. arxiv.org/abs/2509.00823
On Parametric Linear System Solving. arxiv.org/abs/2508.21629
Efficient Neuro-Symbolic Learning of Constraints and Objective. arxiv.org/abs/2508.20978
Refined bit complexity for the computation of at least onepoint per connected component of a smooth completeintersection real algebraic set. arxiv.org/abs/2508.20607
Solving generic parametric linear matrix inequalities. arxiv.org/abs/2503.01487
Effective Asymptotics of Combinatorial Systems. arxiv.org/abs/2508.20008
Heterogeneous LLM Methods for Ontology Learning (Few-Shot Prompting, Ensemble Typing, and Attention-Based Taxonomies). arxiv.org/abs/2508.19428
Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks. arxiv.org/abs/2508.19795
Playstyle and Artificial Intelligence: An Initial Blueprint Through the Lens of Video Games. arxiv.org/abs/2508.19152
たなか @tanaka000127
5 Followers 11 Following
Eclipse @x24918
934 Followers 4K Following more of a bio-script kiddie currently trying to wrap her head around compsci
DE-ITA @menschenfanger8
5 Followers 2K Following
entropy.surfn.ai @chasnentropy
6 Followers 134 Following Python-Zig, ML, arXiv. focus: NLP, multi-interdisciplinary domain bridging, UI/UX, private LLM ecosystems, edgeIO, analog airgaps, stateful/stateless fw
Negar @Nyorga_
9 Followers 96 Following
Bernardo Pereira @gaudiomoderado
78 Followers 2K Following PhD Student @CentaiInstitute & @PoliTOnews
MxGhadimi @MxGhadimi
4 Followers 142 Following クラックヘッド | CS & MATH | Formal Methods & Programming languages | undergrad
The GM @professor_sage
64 Followers 312 Following I can do all things through Christ who strengthens me
wuc9521 @wuc9521
84 Followers 1K Following
Mohammad Hossein Khos... @Mh_khoshechin
264 Followers 910 Following PhD student @ MPI-SWS Interested in Formal Verification / Distributed Systems / Concurrency Theory / @[email protected]
ahuoguo @ahuoguo
37 Followers 311 Following
Alexandre Péret @PeretAlexandre
4 Followers 79 Following
Paul Biberstein @paulbib
35 Followers 76 Following Present: Pursuing PL at Penn (PhD) Before: Browsing bytes at Brown (Bachelor's)
luciano bonachela @bonachela
330 Followers 1K Following
Faz Ray @FazRay123
7 Followers 634 Following
fornever @_for_never
26 Followers 335 Following
kabi @kakakbibibi
249 Followers 496 Following Ph.D. Student in GSAI, @RenminUniv | Prev. Intern in @Alibaba_Qwen | Recent Works: Qwen2.5, AUTOIF, ARPO, WebThinker, Search-o1
Ailura @Ailura24
1 Followers 56 Following
Zhonghan Wang @YogurtShadow272
18 Followers 284 Following Master Student in Institute of Software @UCAS1978, previously in @NKU1919. Building Algorithms and Tools for SMT and related formal methods areas.
Adam M. Smith (史亚... @rndmcnlly
2K Followers 900 Following Associate Professor of Computational Media at @ucsc; applied artificial intelligence & information retrieval for interactive media; languages;cooking;dad;adhd.
Will Collier @collierwc27
242 Followers 2K Following Family, Friends and Sports are some of my favorite things!
Mazunte Taqueria @MazunteTaqueria
2K Followers 2K Following Hours: Monday thru Saturday 11am-9pm, Sunday 10am-3pm
Salt and Light @SaltAndLightRox
286 Followers 1K Following Heavy music for Jesus! . From Genesis to Revelation EP is available https://t.co/JubaIjp4HC
Constella Arts @ConstellaArts
367 Followers 259 Following Constella is an open platform where artists are not bounded by disciplines and expectations
Ryan Fox @NotRyanFox
350 Followers 2K Following Father of two, Knower of Ball, UK Fan, UK Basketball season ticket holder, NBAhole, PC gaming dork, 9x AWL
Voices of Cincinnati @voicesofcincy
37 Followers 157 Following Voices of Cincinnati Showcase Event: May 16th, 2013 Showcases the spoken word poetry of members involved in the Elementz Voices of Freedom program.
The Fantom Menace @MattTurboSetHut
398 Followers 3K Following Minister of @Bengals Propaganda | Lot-B Tailgate Czar Healthcare Consultant | Proud @OhioU and @UofL Alum #WhoDey | #GoCards🐦🔥| #OUohyeah🧱
Scherzinger Pest @ScherzingerPC
2K Followers 3K Following Scherzinger Termite and Pest Control protecting health and property since 1934 in the Cincinnati, Columbus and Dayton areas. Visit us at http://t.co/hRX0SuWP.
Randa @Cin_C_Kid
165 Followers 316 Following
ClarkWayneFB @ClarkWayneFB
9 Followers 52 Following
@BengalBobby @Bengalbobby
199 Followers 2K Following
Mitch Fingerman @MitchFingerman
32 Followers 217 Following Mitch Fingerman is running for Congress in 2012 as a write-in candidate in Ohio's 1st Congressional District.
Cincy's on Sixth @CincysonSixth
113 Followers 222 Following Cincy's on Sixth, a Modern American Grill. Located at 41 E 6th Street, Cincinnati, OH 45202
Bob @paperbob
186 Followers 3K Following lover of family, friends, upland hunting, golf, and good food/wine
Andy @AndyCool22
96 Followers 644 Following Baby, don't you sign that paper tonight, she said, But I can't work in fast food all my life...
Todd Barnes @CincyTodd
448 Followers 1K Following
Tempted Souls @TheTemptedSouls
128 Followers 449 Following Soul, Rock, and Blues band from Cincinnati, OH.
Cincinnati Reviews @CincinnatiRate
467 Followers 2K Following Cincinnati apartment reviews. Find out what other renters are saying about apartments you may want to rent in Cincinnati. Rate your Cincinnati apartment.
David @VIDOFTW
122 Followers 292 Following
Earthquakes @NewEarthquake
937K Followers 11 Following World earthquakes magnitude 5.0+. Sources: USGS, GEOFON. Be prepared: https://t.co/fptknEQEZc #ad As an Amazon Associate I earn from qualifying purchases.
Pistons Tickets @PistonsTickets
120 Followers 2 Following Get notified when Pistons tickets are available
Pacers Tickets @PacersTickets
174 Followers 2 Following Get notified when Pacers tickets are available
Mark Anthony Edmonson @markefirst
343 Followers 433 Following The CMO of a Healthy Kids Snack Brand|Digital Expert|Foodie|Grambling Tiger|Aspiring Successful Black Guy Happily Married with 👶👶👶🏼 & 🐕| Fulfilling Dreams
Stormchasernick @stormchasernick
121K Followers 2K Following Weather Jokes, Weather Memes, Photoshops, GIFs, Sarcastic, #WxGeek, #CTwx, #Cincywx
Brides Buddy @BridesBuddy
2K Followers 2K Following Cincinnati, Ohio bridal blog featuring ideas and inspiration for planning a successful wedding. The official blog of Receptions Conference Centers.
Zinncinnati, LLC @Zinncinnati
619 Followers 2K Following Zinncinnati, LLC is an urban boutique style floral and event design studio. We specialize in making magic! We strive to produce inspired work.
Scott Livesay @thescottlivesay
550 Followers 978 Following I'm a father, a husband, a writer, a music blogger and #vinyl Collector. Seriously, go to my website and check out my Song of the Day...go on...go!
King Feev @KingFeevBMG
623 Followers 799 Following The ILLEST artist you never heard of...Royalty and Connoisseur of All Things Dope
Bill Rinehart @BillGRinehart
10K Followers 4K Following Mild mannered reporter, phlegmatic host of All Things Considered @917WVXU. Ad astra per aspera.
Moira Volker @moiravolker
334 Followers 409 Following mom of two humans and an old dog. wife to @davidvolker. worker in operations. cincinnati sports fan. winner at life.
John Cappella @jcappella
468 Followers 701 Following Aficionado of Cincinnati sports. Race Director for the Flying Pig Marathon - @runflyingpig
Shannon @mizz2rough
3 Followers 69 Following
🎙JD🎙 @JDSportsRadio
4K Followers 2K Following Former National Anchor for @iheartmedia Sports Network, Host of @LO_Cardinals and @lockedonmlbpods Game Night Host, PA for @cincycyclones and @florence_yalls
Michelle Plant @Swirl322
142 Followers 513 Following In search of newness. comfortable w/ self. love warmth, stability, understanding, comfort, smiling and quiet.
Dr. Chrissann Ruehle @ChrissannRuehle
2K Followers 3K Following Management Instructor | Human-AI Factors | Business Strategy | Organizational Ethics | Ethics of Artificial Intelligence & Machine Learning
Jim @JR_Nelson
738 Followers 1K Following son of the commonwealth. immigrant. hillbilly. mediocre bayesian. mammal. solidarity now. solidarity forever.
Cincinnati Bearcats @GoBEARCATS
205K Followers 738 Following The official Twitter account of the University of Cincinnati Athletics. #Bearcats
Andy Warner @whoisandywarner
4K Followers 2K Following Tweets and threads helping you improve your mentality & self-care | Check out my new e-book, "Live a Life of Contentment."
Cincinnati Weather @_CincinnatiOH
681 Followers 3 Following Weather updates, forecast, warnings and information for Cincinnati, Ohio. Sources: @open_meteo, NOAA, USGS.
jenny @jennyblazic
278 Followers 877 Following @uchicagocollege ‘17 @harrispolicy ‘21 // @americorps alum // hobby jogger // probably crying about sports (she/her)
Todd Barnes @CincyTodd
448 Followers 1K Following
K @Arkhangemon
134 Followers 244 Following Loquacious Geeky Bondage Earth Mother Violist Artist Illustrator Extraordinaire.
Jason Ballas @jasonballas
105 Followers 46 Following Back in Zanesville after 12 years in Cincinnati. Marvel. Cincy sports. Pop culture enthusiast. Binge-watcher. Half marathon runner. Amateur investor.
Mike Schneid @msschneid
5K Followers 4K Following Cincinnati #Bearcats alum #LGM #Knicks #Cowboys #MCU nerd. Proud #girldad. 3x fantasy football champion. https://t.co/nK7rtLXh2q
Adam Rosebrock @rosebrocka
204 Followers 901 Following honorary Turk, honorary German, 1/4 hillbilly, former cabinet model, proud Hufflepuff
jody wright @jettyjody
963 Followers 674 Following Club promoter/party host CEO OF F@REALBOY'Z ENT, Part of FIX SQUAD DJ'S attending broadcasting school. FOR BOOKING: [email protected] or 513-455-0900
Dan Rapp @danrapp
443 Followers 798 Following Creative director. Interested in trends, politics, music and minutia.Trends for United States
21,2 B posts
196 B posts
2.702 posts
14,2 B posts
5.573 posts
21,9 B posts
2.295 posts
6.477 posts
1.637 posts
49,2 B posts
2.651 posts
2.314 posts
1.513 posts
132 B posts
You might like
Elon Musk
@elonmusk
225.3M Followers
Barack Obama
@BarackObama
130.6M Followers
Cristiano Ronaldo
@Cristiano
115.7M Followers
Justin Bieber
@justinbieber
108.9M Followers
Donald J. Trump
@realDonaldTrump
108.8M Followers
Rihanna
@rihanna
107.6M Followers
Taylor Swift
@taylorswift13
93.7M Followers
NASA
@NASA
87.8M Followers
Lady Gaga
@ladygaga
81.7M Followers
YouTube
@YouTube
79.0M Followers
Kim Kardashian
@KimKardashian
74.4M Followers
The Ellen Show
@EllenDeGeneres
73.2M Followers
X
@X
68.9M Followers
Virat Kohli
@imVkohli
67.9M Followers
Bill Gates
@BillGates
66.4M Followers
Selena Gomez
@selenagomez
64.9M Followers
Neymar Jr
@neymarjr
63.9M Followers
CNN Breaking News
@cnnbrk
63.9M Followers
CNN
@CNN
63.7M Followers
Justin Timberlake
@jtimberlake
59.2M Followers