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
Pattern Division Random Access (PDRA) for M2M Communications with Massive MIMO Systems. arxiv.org/abs/2110.10586
0
0
0
9
0
Improving NLSAT for Nonlinear Real Arithmetic. arxiv.org/abs/2406.02122
From Affine to Polynomial: Synthesizing Loops with Branches via Algebraic Geometry. arxiv.org/abs/2509.25114
AI Noether -- Bridging the Gap Between Scientific Laws Derived by AI Systems and Canonical Knowledge via Abductive Inference. arxiv.org/abs/2509.23004
Efficient Symbolic Computation via Hash Consing. arxiv.org/abs/2509.20534
VeriFlow: Modeling Distributions for Neural Network Verification. arxiv.org/abs/2406.14265
Divide, Conquer and Verify: Improving Symbolic Execution Performance. arxiv.org/abs/2310.03598
PySymmetry: A Sage/Python Framework for the Symmetry Reduction of Linear G-Equivariant Systems. arxiv.org/abs/2509.19479
Constant-Depth Arithmetic Circuits for Linear Algebra Problems. arxiv.org/abs/2404.10839
Handling Infinite Domain Parameters in Planning Through Best-First Search with Delayed Partial Expansions. arxiv.org/abs/2509.03953
Computing Linear Regions in Neural Networks with Skip Connections. arxiv.org/abs/2509.15441
Domino tilings, nonintersecting lattice paths and subclasses of Koutschan-Krattenthaler-Schlosser determinants. arxiv.org/abs/2507.15665
Oyster-I: Beyond Refusal -- Constructive Safety Alignment for Responsible Language Models. arxiv.org/abs/2509.01909
Understanding the Uncertainty of LLM Explanations: A Perspective Based on Reasoning Topology. arxiv.org/abs/2502.17026
STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification. arxiv.org/abs/2501.04194
Exact Algorithms for Computing Generalized Eigenspaces of Matrices via Jordan-Krylov Basis. arxiv.org/abs/2209.04807
Structuring Definitions in Mathematical Libraries. arxiv.org/abs/2509.10828
Oyster-I: Beyond Refusal -- Constructive Safety Alignment for Responsible Language Models. arxiv.org/abs/2509.01909
Un cadre paraconsistant pour l'{\'e}valuation de similarit{\'e} dans les bases de connaissances. arxiv.org/abs/2509.08433
Deciding One to One property of Boolean maps: Condition and algorithm in terms of implicants. arxiv.org/abs/2307.07788
Lisa @___lisaaa____
1 Followers 8 Following
たなか @tanaka000127
5 Followers 11 Following
DE-ITA @menschenfanger8
5 Followers 2K Following
Brent 'salways @chasnentropy
12 Followers 163 Following Python-Zig-Cuda-ML, arXiv :: NLP,interdisciplinary domain spanning,LLM ecosystem,edge,airgap, SEC stateful_stateless_FW(HBMemory+Ternary?+BP-IMC)
Negar @Nyorga_
9 Followers 95 Following
Bernardo Pereira @gaudiomoderado
77 Followers 2K Following PhD Student @CentaiInstitute & @PoliTOnews
MxGhadimi @MxGhadimi
4 Followers 142 Following クラックヘッド | CS & MATH | Formal Methods & Programming languages | undergrad
The GM @professor_sage
65 Followers 322 Following I can do all things through Christ who strengthens me
wuc9521 @wuc9521
85 Followers 1K Following
Mohammad Hossein Khos... @Mh_khoshechin
286 Followers 914 Following PhD student @ MPI-SWS Interested in Formal Verification / Distributed Systems / Concurrency Theory / @[email protected]
ahuoguo @ahuoguo
37 Followers 316 Following
Alexandre Péret @PeretAlexandre
4 Followers 79 Following
Paul Biberstein @paulbib
37 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 642 Following
fornever @_for_never
31 Followers 342 Following
kabi @kakakbibibi
250 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
19 Followers 289 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
243 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
285 Followers 1K Following Heavy music for Jesus! . From Genesis to Revelation EP is available https://t.co/JubaIjp4HC
Constella Arts @ConstellaArts
368 Followers 259 Following Constella is an open platform where artists are not bounded by disciplines and expectations
Ryan Fox @NotRyanFox
355 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
38 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
401 Followers 3K Following Minister of @Bengals Propaganda | Lot-B Tailgate Czar Healthcare Consultant | Proud @OhioU and @UofL Alum #OUohyeah🧱 | #GoCards🐦🔥 | #ATOBTTR
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
166 Followers 316 Following
ClarkWayneFB @ClarkWayneFB
9 Followers 52 Following
@BengalBobby @Bengalbobby
202 Followers 2K Following
Mitch Fingerman @MitchFingerman
32 Followers 216 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
114 Followers 222 Following Cincy's on Sixth, a Modern American Grill. Located at 41 E 6th Street, Cincinnati, OH 45202
Bob @paperbob
184 Followers 3K Following lover of family, friends, upland hunting, golf, and good food/wine
Andy @AndyCool22
96 Followers 645 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
449 Followers 1K Following
Tempted Souls @TheTemptedSouls
129 Followers 447 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 291 Following
Earthquakes @NewEarthquake
936K 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
342 Followers 432 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
122K 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
620 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 976 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
617 Followers 800 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
335 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 697 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
143 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
736 Followers 1K Following son of the commonwealth. immigrant. hillbilly. mediocre bayesian. mammal. solidarity now. solidarity forever.
Cincinnati Bearcats @GoBEARCATS
205K Followers 739 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
683 Followers 3 Following Weather updates, forecast, warnings and information for Cincinnati, Ohio. Sources: @open_meteo, NOAA, USGS.
jenny @jennyblazic
283 Followers 880 Following @uchicagocollege ‘17 @harrispolicy ‘21 // @americorps alum // hobby jogger // probably crying about sports (she/her)
Todd Barnes @CincyTodd
449 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
205 Followers 901 Following honorary Turk, honorary German, 1/4 hillbilly, former cabinet model, proud Hufflepuff
jody wright @jettyjody
964 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
445 Followers 799 Following Creative director. Interested in trends, politics, music and minutia.Trends for United States
26,2 B posts
22,4 B posts
91,4 B posts
15,5 B posts
46,1 B posts
36,6 B posts
4.558 posts
16,4 B posts
55 B posts
11,6 B posts
28,8 B posts
2.424 posts
5.319 posts
7.162 posts
2.992 posts
10,2 B posts
5.012 posts
2.587 posts
15,7 B posts
11,5 B posts
You might like
Elon Musk
@elonmusk
226.9M Followers
Barack Obama
@BarackObama
130.0M Followers
Cristiano Ronaldo
@Cristiano
115.2M Followers
Donald J. Trump
@realDonaldTrump
109.5M Followers
Justin Bieber
@justinbieber
107.8M Followers
Rihanna
@rihanna
106.9M Followers
Taylor Swift
@taylorswift13
92.9M Followers
NASA
@NASA
88.0M Followers
Lady Gaga
@ladygaga
81.0M Followers
YouTube
@YouTube
78.4M Followers
Kim Kardashian
@KimKardashian
74.0M Followers
The Ellen Show
@EllenDeGeneres
73.2M Followers
X
@X
68.4M Followers
Virat Kohli
@imVkohli
67.8M Followers
Bill Gates
@BillGates
66.3M Followers
Selena Gomez
@selenagomez
64.5M Followers
CNN Breaking News
@cnnbrk
63.6M Followers
CNN
@CNN
63.6M Followers
Neymar Jr
@neymarjr
63.6M Followers
PMO India
@PMOIndia
59.1M Followers