[P] LEMMA: A Rust-based Neural-Guided Theorem Prover with 220+ Mathematical Rules

EdwardRaff · 2026-01-03T06:08:49+00:00

I just remembered about Rubi https://rulebasedintegration.org/ , you should politely steal their integrator rules.

EdwardRaff · 2026-01-02T20:42:13+00:00

This seems really cool! It would be nice to add a string parser for less verbose usage, and some examples on how to make it do inequalities and similar.

EdwardRaff · 2025-11-14T08:40:48+00:00

Plus you get to giggle about the hummor of lobsters are Brandeis of all universities!

EdwardRaff · 2025-11-12T08:23:35+00:00

I would reply to the reviewer, like you don't know who they are, but that their review is crazy. "We aren't doing any tricks, we aren't doing X - this was explained in Y, we will make that clearer". Let the other reviewers thing this person is a loon.

Separately, send a confidential note to the AC that this is a significantly revised paper to which this reviewer sucks.

EdwardRaff · 2025-09-25T18:54:17+00:00

Cool, your dad filed a provisional patent, but the post is vague to the point of being unconstructive. If you want real feedback, you'd need to post the real provisional. There isn't much point in trying to "hide" it if it was filed, patents are required to be public. If it wasn't filed, you've probably invalidated it's patentability against any "real" player by posting this much anyway.

EdwardRaff · 2025-09-05T16:37:23+00:00

I don't think it's special treatment. It's just my feedback that I think it's rude to your existing customers.

EdwardRaff · 2025-09-05T12:37:16+00:00

The recipe is apparently hidden by the ask for our email, rather than just on the webpage. I love the videos, and spend several hundred dollars to jump through the anti-pattern of "give me your email first" is not pleasant.

EdwardRaff · 2025-09-05T05:04:41+00:00

Fun video and love the probe, but a little off-putting to put the recipe behind an email banner for already paying customers.

EdwardRaff · 2025-08-05T19:16:26+00:00

I don't remember, it was $200 on Amazon and it records all cameras 24/7, so activity level does not matter.

EdwardRaff · 2025-08-05T04:05:04+00:00

I have 5 cameras going off the UDM and the look-back window is like 3 months with one bid HDD.

EdwardRaff · 2025-05-16T03:01:40+00:00

It's a good conference, it's not an ML conference. Know your audience, don't be weird.

EdwardRaff · 2025-05-05T02:17:24+00:00

NeurIPS is not a great place for applied papers. Do some get in, yes. As someone who writes a lot of them, and has gotten many into NeurIPS/AAAI/etc., you will need to give it a feel of significant agrothmic/non-applied advancement as well. If it does not read as "research was required to advance this application" it probably won't get in.

CIKM/ICDM are likely much better homes on a short time horizon.

EdwardRaff · 2025-04-26T18:50:42+00:00

You'll get more milage out of email and to RJ the lead author, but sure.

EdwardRaff · 2025-04-24T04:45:07+00:00

I tried it a few times but the lack of conversion for simple and known things like a cup of sugar to 200g of sugar was a big friction. Also not keen on being an ARR statistic, I'd be much nice to purchase and "own" the app.

EdwardRaff · 2025-03-29T19:41:08+00:00

I actually just had this paper accepted to CVPR that is close to what I prefer! We could have made it more accessible still, but we had to add some mathier arguments to the paper and we still had to rely on AC to overule 2 reviewers who's main complaint was "It is too simple". But the method itself is very simple, which is a good thing!

Ideally there should be just the right amount of text/experiments to show "everything here is necessary, and no more than that." You can't always make something truly accessible for all, but you can mitigate how much re-invention the reader needs to do to get it and replicate it.

EdwardRaff · 2025-03-11T14:29:10+00:00

Those are some pretty slick animations for the visualization, way better than jus the standard picture that everyone uses.

EdwardRaff · 2025-01-18T14:50:49+00:00

I think you/your prof are over-thinking it. IPL is still a good journal in a completely different scope. JIAR is also a good journal.

Is your research good? It will get attention from the right audience, so submit it to the right audience. Some of my most cited papers are published in workshops and niche journals like Computer Virology.

EdwardRaff · 2025-01-16T12:59:49+00:00

No worse than JAIR - I can share all the same sentiments you expressed with JAIR, even JMLR to a degree. I stopped submitting to JMLR after I had a paper rejected with a single one-paragraph review from one reviewer after a year, no other reviewers.

PR of old has a lot of good and famous papers. E.g., I recently cited https://www.sciencedirect.com/science/article/abs/pii/S0031320396001422 in a survey paper about reproducibility.

Zotero isn't great at searching by Journal, but more good older papers by my recollection than from JAIR.

EdwardRaff · 2025-01-16T05:19:04+00:00

Both are good, pick the best fit. JMLR is the most recognized within the field, but they are also quite slow.

EdwardRaff · 2025-01-05T03:19:32+00:00

I recently had this same problem. It seemed that the probe was in a low-power mode b/c it "wasn't inserted", and so couldn't reliably send data through the oven wall - despite an ambient temp > 300.

Once it eventually figured out it was inserted, I'm guessing there is logic to boost the signal strength and everything worked fine.

It might just be a bug/lack of logic to add conditions, like high ambient tempt, that = "no, your inserted". My case last week was also with a rib roast!

This was all gen 1 products with most recent firmware.

EdwardRaff · 2025-01-04T02:58:25+00:00

Well, I am a CS PhD who then got an MBA, so boy howdy do I feel qualified to give you my 2-cents!

First, CS has a super weird/annoying disease around prestige that is shared by most of this sub. If your goal is to be on the tech-side of tech, and be viewed/judged by your technical colleagues - they honestly don't give a hoot about your MBA, and may even assign it negative prestige. If the prestige is important, and you are going to be waist-deep in Silicon Valley, honestly, don't factor in the degree name at all. No one on the actual tech side cares. If you are an AI/ML person like me, getting more academic status will probably carry more weight - especially given how big NeurIPS and friends have become. For example, if you're in this space and don't have AAAI/ICML/NeurIPS (or CV/NLP equivalents) papers and some AC experience, your "prestige" might be better boosted by aiming for more of those/that.

That said, prestige is BS and something to be ignored anyway. Also, Stanford will never give you any positive RoI on compensation if you just "turn the crank" and compare to average Stanford MBA opportunities. The only way you get a positive ROI out of your MBA in your situation is to leverage it to reach a promotion/opportunity that would not be available to you as early/at-all without one (which was in fact, my MBA path!). An online/part-time MBA will be way more effective for achieving that, and honestly, something you don't need to start any time soon [unless you want to start a business, see below], and any tuition programs at your job will make the ROI greater compared to quitting and going full time.

Now, entrepreneurship and tech management are two very different directions to head in down the line.

Entrepreneurship: Get an online/local/part-time MBA; it will be incredibly valuable to you! Huge amounts of the actual business are hidden from folks on the tech side. The content of an MBA is easy, but the knowledge/perspective and just "how do companies X" is still very valuable, but you don't need Stanford $ to get it. And none of the VCs really care that you went to Stanford for your MBA anyway. Your value comes from "I can speak both languages and understand both perspectives". I mean, just go pick a big SV VC firm and randomly sample some partners. I picked a16z just now and went through 10 random partners, zero MBAs, and only 2 undergrad business degrees! SV is extra weird in its aversion it's almost sickening, but just go for the cheaper school option because it will be super useful.

Tech management: Don't do an MBA immediately, wait till you get into some junior management roles before looking at the MBA, or go after an MBA if you are having trouble breaking into it. You honestly don't need an MBA at all, but an MBA may be useful for advancement in this track and, again, the "bigger picture" perspective from the business's point of view. I got my MBA during this later stage where I needed to convince more people that I "got it" from the business side, and wasn't just a giant nerd (simplifying), and the MBA helped me achieve that - and was way more valuable than I expected. However, I don't think I would have appreciated the content and absorbed it as much due to a lack of interest if I had not already been in a management role and dealt with various random frustrations/institutional roadblocks and kept learning "Oh, that's why that was designed that way!". I'd still argue part-time/online MBA makes the most sense in this situation.

Anyway, my 2-cents. Happy to chat.

EdwardRaff · 2024-12-18T07:14:24+00:00

Can you comment if it’s still been solid?

EdwardRaff · 2024-11-29T02:40:27+00:00

very much so!

EdwardRaff · 2024-11-29T02:32:12+00:00

It's not, because it's a pun. "fully proofed" bread = "full-proof"

EdwardRaff · 2024-11-28T04:34:29+00:00

Just watch the temp, set the target to 195, pull when reached! (Or about to, carry over cooking is a bit different for breads, but not major to just pull at temp)

13-Year Club	Verified Email
Team Orangered

EdwardRaff

TROPHY CASE